Switch to: Citations

Add references

You must login to add references.
  1. A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • The Axiom of Choice and the Class of Hyperarithmetic Functions.G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):333-334.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Review: Solomon Feferman, J. W. Addison, Leon Henkin, Alfred Tarski, Some Applications of the Notions of Forcing and Generic Sets (Summary); Solomon Feferman, Some Applications of the Notions of Forcing and Generic Sets. [REVIEW]James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6f9648bdd6-4ctxt uwo