Switch to: Citations

Add references

You must login to add references.
  1. Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
    This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • 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   147 citations  
  • An embedding of classical logic in S4.Melvin Fitting - 1970 - Journal of Symbolic Logic 35 (4):529-534.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.
    Download  
     
    Export citation  
     
    Bookmark   54 citations