Corrigendum to “A proof–technique in uniform space theory”

&
Journal of Symbolic Logic 69 (1):328-328 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Proof—technique In Uniform Space Theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.
A proof–technique in uniform space theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.
Rigour and Proof – Corrigendum.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (1):338-338.
Review: Errett Bishop, Douglas Bridges, Constructive Analysis. [REVIEW]Nicolas D. Goodman - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Review: Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.
Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges. [REVIEW]Boris A. Kushner - 1999 - Journal of Symbolic Logic 64 (1):397-398.
The Uniform Proof-Theoretic Foundation of Linear Logic Programming.J. A. Harland & D. J. Pym - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Errett Bishop and Douglas Bridges. Constructive analysis. Grundlehren der mathematischen Wissenschaften, no. 279. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xii + 477 pp. [REVIEW]Nicolas D. Goodman - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Douglas Bridges and Fred Richman. Varieties of constructive mathematics. London Mathematical Society lecture note series, no. 97. Cambridge University Press, Cambridge etc. 1987, x + 149 pp. [REVIEW]D. van Dalen - 1991 - Journal of Symbolic Logic 56 (2):750-751.

Analytics

Added to PP
2009-02-05

Downloads
28 (#557,911)

6 months
21 (#165,375)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references