Switch to: Citations

Add references

You must login to add references.
  1. Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.
    Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...)
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • From completeness to archimedean completenes.Philip Ehrlich - 1997 - Synthese 110 (1):57-76.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Georg Cantor: His Mathematics and Philosophy of the Infinite.Joseph Warren Dauben - 1990 - Princeton University Press.
    One of the greatest revolutions in mathematics occurred when Georg Cantor promulgated his theory of transfinite sets. This revolution is the subject of Joseph Dauben's important studythe most thorough yet writtenof the philosopher and mathematician who was once called a "corrupter of youth" for an innovation that is now a vital component of elementary school curricula.Set theory has been widely adopted in mathematics and philosophy, but the controversy surrounding it at the turn of the century remains of great interest. Cantor's (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
    Download  
     
    Export citation  
     
    Bookmark   122 citations  
  • Georg Cantor, His Mathematics and Philosophy of the Infinite.J. W. Dauben - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (3):622-625.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • [Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
    Download  
     
    Export citation  
     
    Bookmark   82 citations