7 found
Order:
  1.  60
    Introduction to Metamathematics.Stephen Cole Kleene - 1952 - North Holland.
  2.  58
    Mathematical Logic.Stephen Cole Kleene - 1967 - Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   30 citations  
  3. The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   23 citations  
  4. Mathematical Logic.Stephen Cole Kleene - 1968 - Philosophical Quarterly 18 (72):273-275.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  5. The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    No categories
     
    Export citation  
     
    My bibliography  
  6. Vvédénié V Métamatématiku.Stephen Cole Kleene - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. Logic and Foundations of Mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra - 1968 - Wolters-Noordhoff.
     
    Export citation  
     
    My bibliography