Switch to: Citations

Add references

You must login to add references.
  1. A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
    A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.
    Download  
     
    Export citation  
     
    Bookmark   20 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  
  • Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.
    This influential 1888 publication explained the real numbers, and their construction and properties, from first principles.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Lectures on Non- Standard Analysis.Moshe Machover & Joram Hirschfeld - 1969 - Lecture Notes in Mathematics.
    The hope of this work is that these notes will help to convince more mathematicians that non-standard analysis can make a useful addition to the tools of their trade.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.Thoralf Skolem - 1922 - In ¸ Iteskolem:Swl. pp. 137--52.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
    Download  
     
    Export citation  
     
    Bookmark   61 citations