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   148 citations  
  • (1 other version)Review: K. R. Popper, Logic Without Assumptions. [REVIEW]J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • On the Representation of Projective Algebras.J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 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