16 found
Order:
Disambiguations
Stephen C. Kleene [10]Stephen Cole Kleene [6]Stephen Kleene [1]
  1. Introduction to Metamathematics.Stephen Cole Kleene - 1952 - North Holland.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   435 citations  
  2.  72
    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  
     
    Bookmark   70 citations  
  3.  39
    Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  33
    Reflections on Church's Thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5. Kurt Gödel: Collected Works Vol. Ii.Solomon Feferman, John Dawson & Stephen Kleene (eds.) - 1990 - Oxford University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  6.  88
    Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  7.  46
    On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934.Martin Davis, Kurt Godel & Stephen C. Kleene - 1990 - Journal of Symbolic Logic 55 (1):347.
  8.  38
    The Work of Kurt Gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.
  9.  15
    Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of It.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW]John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips - 1991 - Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Collected Works, Volume I, Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1987 - Mind 96 (384):570-575.
     
    Export citation  
     
    Bookmark  
  11. Kurt Gödel: Collected Works, Vol. I: Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1998 - Mind 107 (425):219-232.
  12.  32
    An Addendum to the Work of Kurt Gödel.Stephen C. Kleene - 1978 - Journal of Symbolic Logic 43 (3):613.
  13. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences.Stephen C. Kleene - 1960 - Logique Et Analyse 3 (11):154.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  14. The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
  15. 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
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Logic and Foundations of Mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra - 1968 - Wolters-Noordhoff.