Switch to: Citations

Add references

You must login to add references.
  1. Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • Understanding church's thesis.Stewart Shapiro - 1981 - Journal of Philosophical Logic 10 (3):353--65.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • (1 other version)Lévy A.. Principles of reflection in axiomatic set theory. Fundamenta mathematicae, vol. 49 no. 1 , pp. 1–10.J. R. Shoenfield - 1965 - Journal of Symbolic Logic 30 (2):251-251.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Mathematical Logic.Georg Kreisel - 1965 - In Lectures on Modern Mathematics. New York: Wiley. pp. 95-195.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (2 other versions)Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Is mathematical knowledge just logical knowledge?Hartry Field - 1984 - Philosophical Review 93 (4):509-552.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • (1 other version)Nominalist platonism.George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 73-87.
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  • (1 other version)Review: Azriel Levy, Axiom Schemata of Strong Infinity in Axiomatic Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (1):88-89.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On a set theory of Bernays.Leslie H. Tharp - 1967 - Journal of Symbolic Logic 32 (3):319-321.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Long projective wellorderings.Leo Harrington - 1977 - Annals of Mathematical Logic 12 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   30 citations