Switch to: Citations

Add references

You must login to add references.
  1. The Role of the Axiom of Induction in Elementary Arithmetic.C. Ryll-Nardzewski - 1954 - Journal of Symbolic Logic 19 (4):287-288.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (2 other versions)Set Theory and its Logic: Revised Edition.Willard Van Orman Quine - 1963 - Harvard University Press.
    This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • A Survey of Mathematical Logic.Hao Wang - 1965 - Journal of Symbolic Logic 30 (2):249-250.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Non-standard models and independence of the induction axiom.Michael O. Rabin - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 287--299.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Survey of Mathematical Logic. [REVIEW]Georg Kreisel - 1966 - Philosophical Review 75 (2):240-244.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A Set Theoretic Approach to the Simple Theory of Types.Michael D. Resnik - 1969 - Theoria 35 (3):239-258.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Professor Goddard and the simple theory of types.Michael David Resnik - 1968 - Mind 77 (308):565-568.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Unification of universes in set theory.W. V. Quine - 1956 - Journal of Symbolic Logic 21 (3):267-279.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (2 other versions)Set Theory and its Logic.Willard van Orman Quine - 1963 - Cambridge, MA, USA: Harvard University Press.
    This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving (...)
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • (1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   205 citations