Order:
  1. Introduction to Metamathematics.Stephen Cole Kleene - 1952 - North Holland.
  2.  70
    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   63 citations  
  3.  13
    Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Direct download  
     
    Export citation  
     
    Bookmark   80 citations  
  4. On Notation for Ordinal Numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
  5.  7
    Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
    Direct download  
     
    Export citation  
     
    Bookmark   82 citations  
  6.  91
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
  7. The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..
  8.  33
    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  
  9.  6
    The Capacity of Trans-Saccadic Memory in Visual Search.Nicholas J. Kleene & Melchi M. Michel - 2018 - Psychological Review 125 (3):391-408.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  77
    General Recursive Functions of Natural Numbers.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  11.  31
    Reflections on Church's Thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  12.  28
    Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
  13. An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
  14.  82
    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.
  15.  10
    Recursive Predicates and Quantifiers.S. C. Kleene - 1943 - Journal of Symbolic Logic 8 (1):32-34.
  16.  7
    The Logical Syntax of Language.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  17.  8
    On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  18.  14
    Countable Functionals.S. C. Kleene - 1959 - In A. Heyting (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 81--100.
  19.  44
    The Mathematical Work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Kurt Gödel: Collected Works Vol. Ii.Solomon Feferman, John Dawson & Stephen Kleene (eds.) - 1990 - Oxford University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  21.  18
    The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.
  22.  30
    Realizability: A Retrospective Survey.S. C. Kleene - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 95--112.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  43
    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.
  24.  6
    Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.
  25.  13
    Recherches sur le Systeme de la Logique Intuitioniste.S. C. Kleene & Stanislaw Jaskowski - 1937 - Journal of Symbolic Logic 2 (1):55.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  26.  6
    Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
  27.  5
    Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
  28.  38
    Semantic Construction of Intuitionistic Logic.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  34
    Formal Definitions in the Theory of Ordinal Numbers.Alonzo Church & S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (2):87-87.
  30.  24
    Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  16
    Recursive Functions and Intuitionistic Mathematics.S. C. Kleene - 1953 - Journal of Symbolic Logic 18 (2):181-182.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. 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.
  33.  6
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):91-93.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  6
    On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):410-411.
  35.  38
    The Work of Kurt Gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.
  36.  1
    A Note on Recursive Functions.S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (3):119-119.
  37.  11
    Popper K. R.. On the Theory of Deduction, Part I. Derivation and its Generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 51 , Pp. 173–183; Also Indagationes Mathematicae, Vol. 10 , Pp. 44–54.Popper K. R.. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 51 , Pp. 322–331; Also Ibid., Pp. 111–120.Popper K. R.. The Trivialization of Mathematical Logic. Library of the Xlh International Congress of Philosophy . Vol. I. Proceedings of the Congress. Preprint 1948, Pp. 510–515. [REVIEW]S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):62-63.
  38.  3
    Realizability.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  5
    R. PETER [1934] Uber den Zussammenhang der verschiedenen Begriffe der rekursiven Funktion, Math. Ann.Sc Kleene, El Post, M. Kline, M. Lerman, L. Lowenheim, D. Normann, P. Odifreddi, G. Peano, Cs Peirce & R. Penrose - 1999 - In Edward R. Griffor (ed.), Handbook of Computability Theory. Elsevier. pp. 34.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40.  16
    A Symmetric Form of Godel's Theorem.S. C. Kleene - 1951 - Journal of Symbolic Logic 16 (2):147-147.
  41.  14
    Third Meeting of the Association for Symbolic Logic.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (1):59-60.
  42.  15
    Review: Rudolf Carnap, The Logical Syntax of Language. [REVIEW]S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
  43.  12
    Beth E. W.. Semantical Considerations on Intuitionistic Mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 50 , Pp. 1246–1251, and Ibid., Pp. 572–577. [REVIEW]S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (3):173-173.
  44. 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  
  45.  12
    Carnap Rudolf. The Logical Syntax of Language. Harcourt, Brace and Co., New York 1937; Kegan Paul, Trench, Trubner and Co., London 1937; Xvi + 352 Pp. [REVIEW]S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
  46.  16
    Beth E. W.. Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, N.S. Vol. 19 No. 11 , Pp. 357–388. [REVIEW]S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
  47.  16
    Watson A. G. D.. Mathematics and its Foundations. Mind, N.S. Vol. 47 , Pp. 440–451.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (3):130-131.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  12
    Lambda-Definable Functionals of Finite Types.S. C. Kleene - 1964 - Journal of Symbolic Logic 29 (2):104-105.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  15
    Curry Haskell B.. Some Aspects of the Problem of Mathematical Rigor. Bulletin of the American Mathematical Society, Vol. 47 , Pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.
  50.  11
    A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
1 — 50 / 127