Switch to: Citations

References in:

Paradoxes

Synthese 60 (1):129 - 143 (1984)

Add references

You must login to add references.
  1. The Logical enterprise.Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.) - 1975 - New Haven: Yale University Press.
    Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Review: Edward A. Maziarz, The Philosophy of Mathematics. [REVIEW]Frederic B. Fitch - 1951 - Journal of Symbolic Logic 16 (2):150-150.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Georg Cantor: His Mathematics and Philosophy of the Infinite.Joseph Warren Dauben - 1979 - Hup.
    One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.
    This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • (1 other version)Constructive definition of certain analytic sets of numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Constructive Definition of Certain Analytic Sets of Numbers.P. Lorenzen & J. Myhill - 1968 - Journal of Symbolic Logic 33 (2):295-295.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)An Extension of Basic Logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):68-69.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)The Heine-borel theorem in extended basic logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):9-15.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (2 other versions)Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • (1 other version)An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Review: Nelson Goodman, Some Reflections of the Theory of Systems. [REVIEW]Frederic B. Fitch - 1950 - Journal of Symbolic Logic 15 (3):218-218.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A demonstrably consistent mathematics—Part I.Frederic B. Fitch - 1950 - Journal of Symbolic Logic 15 (1):17-24.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A demonstrably consistent mathematics—Part II.Frederic B. Fitch - 1951 - Journal of Symbolic Logic 16 (2):121-124.
    Download  
     
    Export citation  
     
    Bookmark   3 citations