106 found
Order:
  1. On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
  2.  18
    Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
    Direct download  
     
    Export citation  
     
    Bookmark   82 citations  
  3.  28
    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 the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
  5. Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
  6. S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  7.  23
    On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  8.  16
    The Logical Syntax of Language.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  9.  58
    Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
  10.  13
    Reviews. Kurt Gödel. What is Cantor's continuum problem? The American mathematical monthly, vol. 54 , pp. 515–525.S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (2):116-117.
  11.  28
    Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.
  12.  18
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):91-93.
  13.  31
    The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.
  14.  13
    Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
  15.  13
    Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
  16.  20
    Countable Functionals.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (3):359-360.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  13
    Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.
  18.  41
    Realizability: a retrospective survey.S. C. Kleene - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 95--112.
  19.  5
    A note on recursive functions.S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (3):119-119.
  20.  22
    Recursive Functions and Intuitionistic Mathematics.S. C. Kleene - 1953 - Journal of Symbolic Logic 18 (2):181-182.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  69
    The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
    §1. The origins of recursion theory. In dedicating a book to Steve Kleene, I referred to him as the person who made recursion theory into a theory. Recursion theory was begun by Kleene's teacher at Princeton, Alonzo Church, who first defined the class of recursive functions; first maintained that this class was the class of computable functions ; and first used this fact to solve negatively some classical problems on the existence of algorithms. However, it was Kleene who, in his (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  8
    Extension of an Effectively Generated Class of Functions by Enumeration.S. C. Kleene - 1960 - Journal of Symbolic Logic 25 (3):279-280.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. An addendum: Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
  24.  48
    Formal Definitions in the Theory of Ordinal Numbers.Alonzo Church & S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (2):87-87.
  25.  40
    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   4 citations  
  26.  13
    On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):410-411.
  27.  13
    Realizability.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  31
    Third meeting of the association for symbolic logic.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (1):59-60.
  29.  8
    Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):166-167.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Classical extensions of intuitionistic mathematics.S. C. Kleene - 1965 - In Yehoshua Bar-Hillel (ed.), Logic, methodology and philosophy of science. Amsterdam,: North-Holland Pub. Co.. pp. 2--31.
     
    Export citation  
     
    Bookmark   2 citations  
  31.  6
    On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1946 - Journal of Symbolic Logic 11 (4):127-127.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  8
    Unimonotone functions of finite types (recursive functionals and quantifiers of finite types revisited IV).S. C. Kleene - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--119.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  19
    A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
  34.  52
    Semantic Construction of Intuitionistic Logic.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  19
    A Postulational Basis for Probability.H. P. Evans & S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (3):120-121.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  7
    A Note on Computable Functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 24 (1):51-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  10
    A Philosophy of Mathematics.S. C. Kleene - 1949 - Philosophical Review 58 (2):187.
  38.  24
    A Symmetric Form of Godel's Theorem.S. C. Kleene - 1951 - Journal of Symbolic Logic 16 (2):147-147.
  39.  8
    Copeland Arthur H.. Postulates for the theory of probability. American journal of mathematics, vol. 63 , pp. 741–762.S. C. Kleene - 1942 - Journal of Symbolic Logic 7 (1):41-41.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  16
    Curry Haskell B.. A simplification of the theory of combinators. Synthese, vol. 7 , pp. 391–399.S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
  41.  3
    Errata. Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):375-375.
  42.  13
    Fitch Frederic B.. An extension of basic logic.S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):68-69.
  43.  19
    Fitch Frederic B.. The Heine-Borel theorem in extended basic logic.S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (2):137-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  13
    Fitch Frederic B.. A further consistent extension of basic logic, The journal of symbolic logic. vol. 14 , pp. 209–218.S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (3):219-220.
  45.  6
    Helmer Olaf. Perelman versus Gödel. Mind, vol. 46 , pp. 58–60.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):48-49.
  46.  8
    Kempner A. J.. Remarks on “unsolvable” problems. The American mathematical monthly, vol. 43 , pp. 467–473.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):41-41.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  15
    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  
  48.  7
    On the Constructive Interpretation of Mathematical Judgments.S. C. Kleene - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    On the Intuitionistic Logic.S. C. Kleene - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:741-743.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  13
    On the Term `Analytic' in Logical Syntax.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (4):157-158.
1 — 50 / 106