Switch to: Citations

References in:

Inclusive first-order logic

Studia Logica 40 (1):13 - 28 (1981)

Add references

You must login to add references.
  1. Quantification theory and empty individual-domains.Theodore Hailperin - 1953 - Journal of Symbolic Logic 18 (3):197-200.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (2 other versions)The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • Quantification and the empty domain.W. V. Quine - 1954 - Journal of Symbolic Logic 19 (3):177-179.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)On the rules of proof in the pure functional calculus of the first order.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):107-111.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)On the Rules of Proof in the Pure Functional Calculus of the First Order.G. D. W. Berry & Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):272.
    Download  
     
    Export citation  
     
    Bookmark   3 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