127 found
Order:
  1.  39
    Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
  2.  54
    Stephen Cole Kleene (1967). Mathematical Logic. 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. Stephen Cole Kleene (1965). The Foundations of Intuitionistic Mathematics. Amsterdam, North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   23 citations  
  4. S. C. Kleene (1938). On Notation for Ordinal Numbers. Journal of Symbolic Logic 3 (4):150-155.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  5.  69
    S. C. Kleene (1945). On the Interpretation of Intuitionistic Number Theory. Journal of Symbolic Logic 10 (4):109-124.
  6. S. C. Kleene (1963). An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 28 (2):154-156.
  7.  2
    Leopold Lowenheim, S. C. Kleene, Paul Bernays, Saunders MacLane, Ernest Nagel, Albert Wohlstetter, J. C. C. McKinsey, Charles A. Baylis, Carl G. Hempel & C. H. Langford (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 43 (44).
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  19
    S. C. Kleene (1937). General Recursive Functions of Natural Numbers. Journal of Symbolic Logic 2 (1):38-38.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  15
    Stephen C. Kleene (1987). Reflections on Church's Thesis. Notre Dame Journal of Formal Logic 28 (4):490-498.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  10.  18
    S. C. Kleene (1973). Realizability: A Retrospective Survey. In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag 95--112.
  11. Solomon Feferman, John Dawson & Stephen Kleene (eds.) (1990). Kurt Gödel: Collected Works Vol. Ii. Oxford University Press.
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  12.  27
    J. R. Shoenfield & S. C. Kleene (1995). The Mathematical Work of S. C. Kleene. Bulletin of Symbolic Logic 1 (1):8-43.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  10
    S. C. Kleene (1962). Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 27 (1):11-18.
  14.  3
    S. C. Kleene (1959). Countable Functionals. In A. Heyting (ed.), Journal of Symbolic Logic. Amsterdam, North-Holland Pub. Co. 81--100.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  15. S. C. Kleene (1956). Hierarchies of Number-Theoretic Predicates. Journal of Symbolic Logic 21 (4):411-412.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  16. S. C. Kleene (1971). Recursive Functionals and Quantifiers of Finite Types II. Journal of Symbolic Logic 36 (1):146-146.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  17. S. C. Kleene (1943). Recursive Predicates and Quantifiers. Journal of Symbolic Logic 8 (1):32-34.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  18. S. C. Kleene (1956). Arithmetical Predicates and Function Quantifiers. Journal of Symbolic Logic 21 (4):409-410.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  19. S. C. Kleene & Emil L. Post (1956). The Upper Semi-Lattice of Degrees of Recursive Unsolvability. Journal of Symbolic Logic 21 (4):407-408.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  20.  8
    Stephen C. Kleene & Martin Davis (1990). Origins of Recursive Function Theory. Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  5
    S. C. Kleene (1937). Λ-Definability and Recursiveness. Journal of Symbolic Logic 2 (1):38-39.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  22.  10
    S. C. Kleene (1949). Review: K. R. Popper, On the Theory of Deduction, Part I. Derivation and its Generalizations; K. R. Popper, On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation; K. R. Popper, The Trivialization of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 14 (1):62-63.
  23.  2
    S. C. Kleene (1949). 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] Journal of Symbolic Logic 14 (1):62-63.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    S. C. Kleene, W. Craig & R. L. Vaught (1971). Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols. Journal of Symbolic Logic 36 (2):334-335.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  6
    S. C. Kleene (1938). Third Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 3 (1):59-60.
  26. S. C. Kleene (1956). On the Forms of Predicates in the Theory of Constructive Ordinals. Journal of Symbolic Logic 21 (4):410-411.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  27. S. C. Kleene (1953). Recursive Functions and Intuitionistic Mathematics. Journal of Symbolic Logic 18 (2):181-182.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  28.  12
    Stephen C. Kleene (1976). The Work of Kurt Gödel. Journal of Symbolic Logic 41 (4):761-778.
  29.  5
    S. C. Kleene, Ernest Nagel, Patrick Suppes & Alfred Tarski (1970). Turing-Machine Computable Functionals of Finite Types I. Journal of Symbolic Logic 35 (4):588-589.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30. S. C. Kleene (1962). Realizability. Journal of Symbolic Logic 27 (2):242-243.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  7
    Timothy Smiley, Frederic B. Fitch, Shih-Chao Liu, S. C. Kleene, Keith Lehrer, Thomas E. Patton, Maria Kokoszynska, Arto Salomaa, Abraham Robinson & Gerald E. Sacks (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 175 (176).
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  1
    John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips (1991). 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] Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    S. C. Kleene (1941). Curry Haskell B.. Some Aspects of the Problem of Mathematical Rigor. Bulletin of the American Mathematical Society, Vol. 47 , Pp. 221–241. [REVIEW] Journal of Symbolic Logic 6 (3):100-102.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  4
    S. C. Kleene (1937). Review: Adolphe Lindenbaum, Sur la Simplicite Formelle des Notions. [REVIEW] Journal of Symbolic Logic 2 (1):55-56.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    S. C. Kleene (1939). Review: Rudolf Carnap, The Logical Syntax of Language. [REVIEW] Journal of Symbolic Logic 4 (2):82-87.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  2
    S. C. Kleene (1948). Review: E. W. Beth, Semantical Considerations on Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 13 (3):173-173.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  3
    S. C. Kleene (1939). Review: A. G. D. Watson, Mathematics and Its Foundations. [REVIEW] Journal of Symbolic Logic 4 (3):130-131.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  2
    Alonzo Church & S. C. Kleene (1937). Formal Definitions in the Theory of Ordinal Numbers. Journal of Symbolic Logic 2 (2):87-87.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  2
    S. C. Kleene (1940). On the Term `Analytic' in Logical Syntax. Journal of Symbolic Logic 5 (4):157-158.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40. S. C. Kleene (1965). Classical Extensions of Intuitionistic Mathematics. In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co. 2--31.
     
    Export citation  
     
    My bibliography   1 citation  
  41.  11
    Stephen C. Kleene (1978). An Addendum to the Work of Kurt Gödel. Journal of Symbolic Logic 43 (3):613.
  42. S. C. Kleene (1964). Lambda-Definable Functionals of Finite Types. Journal of Symbolic Logic 29 (2):104-105.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  2
    S. C. Kleene (1985). Unimonotone Functions of Finite Types (Recursive Functionals and Quantifiers of Finite Types Revisited IV). In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society 42--119.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44. Stephen C. Kleene (1962). Realizability and Shanin's Algorithm for the Constructive Deciphering of Mathematical Sentences. Journal of Symbolic Logic 27 (2):243-244.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  45. S. C. Kleene (1960). Extension of an Effectively Generated Class of Functions by Enumeration. Journal of Symbolic Logic 25 (3):279-280.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46. J. W. Addison & S. C. Kleene (1958). A Note on Function Quantification. Journal of Symbolic Logic 23 (1):47-48.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  3
    Sc Kleene, El Post, M. Kline, M. Lerman, L. Lowenheim, D. Normann, P. Odifreddi, G. Peano, Cs Peirce & R. Penrose (1999). R. PETER [1934] Uber den Zussammenhang der verschiedenen Begriffe der rekursiven Funktion, Math. Ann. In Edward R. Griffor (ed.), Handbook of Computability Theory. Elsevier 34.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  48.  3
    S. C. Kleene (1948). Review: Kurt Godel, What is Cantor's Continuum Problem? [REVIEW] Journal of Symbolic Logic 13 (2):116-117.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    S. C. Kleene (1957). Review: E. W. Beth, Semantic Construction of Intuitionistic Logic. [REVIEW] Journal of Symbolic Logic 22 (4):363-365.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50. S. C. Kleene (1936). A Note on Recursive Functions. Journal of Symbolic Logic 1 (3):119-119.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 127