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   155 citations  
  • On weakened quantification.A. Heyting - 1946 - Journal of Symbolic Logic 11 (4):119-121.
    Download  
     
    Export citation  
     
    Bookmark   3 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