Switch to: Citations

Add references

You must login to add references.
  1. Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...)
    Download  
     
    Export citation  
     
    Bookmark   547 citations  
  • (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   149 citations  
  • Algebraic Treatment of the Notion of Satisfiability.H. Rasiowa & R. Sikorski - 1955 - Journal of Symbolic Logic 20 (1):78-80.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Contraction-free sequent calculi for intuitionistic logic.Roy Dyckhoff - 1992 - Journal of Symbolic Logic 57 (3):795-807.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • Eine Darstellung der Intuitionistischen Logik in der Klassischen.Shoji Maehara - 1957 - Journal of Symbolic Logic 22 (1):79-80.
    Download  
     
    Export citation  
     
    Bookmark   9 citations