Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
    Download  
     
    Export citation  
     
    Bookmark   150 citations  
  • [Omnibus Review].William Craig - 1957 - Journal of Symbolic Logic 22 (4):360-363.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Craig interpolation theorem for intuitionistic logic and extensions part III.Dov M. Gabbay - 1977 - Journal of Symbolic Logic 42 (2):269-271.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   51 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-6d7m4 uwo