107 found
Order:
  1. On Notation for Ordinal Numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
  2.  15
    Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Direct download  
     
    Export citation  
     
    Bookmark   80 citations  
  3.  93
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
  4.  7
    Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
    Direct download  
     
    Export citation  
     
    Bookmark   82 citations  
  5. Recursive Predicates and Quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
  6.  85
    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   27 citations  
  7.  12
    On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  8.  34
    Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
  9.  8
    The Logical Syntax of Language.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  10.  17
    Countable Functionals.S. C. Kleene - 1959 - In A. Heyting (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 81--100.
  11.  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.
  12.  15
    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   10 citations  
  13.  6
    Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
  14.  5
    Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
  15.  7
    Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.
  16.  31
    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.
  17.  47
    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  
  18.  7
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):91-93.
  19. An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
  20.  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  
  21.  36
    Formal Definitions in the Theory of Ordinal Numbers.Alonzo Church & S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (2):87-87.
  22.  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  
  23.  6
    On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):410-411.
  24.  3
    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   4 citations  
  25.  17
    Third Meeting of the Association for Symbolic Logic.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (1):59-60.
  26.  7
    Countable Functionals.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (3):359-360.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  1
    A Note on Recursive Functions.S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (3):119-119.
  28.  3
    Realizability.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  17
    Review: Rudolf Carnap, The Logical Syntax of Language. [REVIEW]S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
  30.  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.
  31.  17
    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.
  32.  16
    A Symmetric Form of Godel's Theorem.S. C. Kleene - 1951 - Journal of Symbolic Logic 16 (2):147-147.
  33.  14
    A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
  34.  14
    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  
  35.  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.
  36.  16
    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]S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):62-63.
  37.  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  
  38.  11
    On the Term `Analytic' in Logical Syntax.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (4):157-158.
  39.  12
    Review: E. W. Beth, Semantical Considerations on Intuitionistic Mathematics. [REVIEW]S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (3):173-173.
  40.  6
    Church Alonzo. Introduction to Mathematical Logic. Volume I. Second Printing. Princeton University Press, Princeton 1958, X + 378 Pp. [REVIEW]S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (3):362-362.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  5
    A Theorem on Parametric Boolean Functions.W. V. Quine & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):58-59.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  1
    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   1 citation  
  43.  43
    Semantic Construction of Intuitionistic Logic.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  4
    A Note on Computable Functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 24 (1):51-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  2
    A Philosophy of Mathematics.S. C. Kleene - 1949 - Philosophical Review 58 (2):187.
  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.  5
    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  
  48. Church Alonzo. The Calculi of Lambda-Conversion. Annals of Mathematics Studies, No. 6. Second Printing. Lithoprinted. Princeton University Press, Princeton 1951, 82 Pp. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. 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  
  50.  11
    Curry H. B.. First Properties of Functionality in Combinatory Logic. The Tôhoku Mathematical Journal, Vol. 41 , Pp. 371–401. [REVIEW]S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (2):65-65.
1 — 50 / 107