Switch to: Citations

Add references

You must login to add references.
  1. ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions. [REVIEW]H. Friedman & Rc Flagg - 1986 - Annals of Pure and Applied Logic 32 (C):299.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)A Short Introduction to Intuitionistic Logic.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Epistemic and intuitionistic formal systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.
    Download  
     
    Export citation  
     
    Bookmark   16 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-6b65f85844-fbfkv uwo