107 found
Order:
  1. On Notation for Ordinal Numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
  2.  97
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
  3.  18
    Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Direct download  
     
    Export citation  
     
    Bookmark   80 citations  
  4.  9
    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.  92
    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   35 citations  
  7.  13
    On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  8.  36
    Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
  9.  10
    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.  19
    Countable Functionals.S. C. Kleene - 1959 - In A. Heyting (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 81--100.
  11.  21
    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.  18
    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   11 citations  
  13.  8
    On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):91-93.
  14.  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.
  15.  6
    Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
  16.  6
    Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
  17.  8
    Countable Functionals.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (3):359-360.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  7
    Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.
  19.  48
    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. An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
  21.  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  
  22.  37
    Formal Definitions in the Theory of Ordinal Numbers.Alonzo Church & S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (2):87-87.
  23.  25
    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  
  24.  5
    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  
  25.  6
    On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):410-411.
  26.  17
    Third Meeting of the Association for Symbolic Logic.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (1):59-60.
  27.  1
    A Note on Recursive Functions.S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (3):119-119.
  28. 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  
  29. 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  
  30.  4
    Realizability.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  23
    Review: Rudolf Carnap, The Logical Syntax of Language. [REVIEW]S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):82-87.
  32.  12
    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.
  33.  46
    Semantic Construction of Intuitionistic Logic.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. 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  
  35. Errata. Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):375-375.
  36. Papers on Predicate Calculus.S. C. Kleene - 1954 - Journal of Symbolic Logic 19 (1):62-63.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  17
    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.
  38.  17
    Perelman Versus Godel.S. C. Kleene & Olaf Helmer - 1937 - Journal of Symbolic Logic 2 (1):48.
  39.  4
    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. American Mathematical Society. pp. 42--119.
  40.  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  
  41.  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.
  42.  15
    Post Emil L.. Recursive Unsolvability of a Problem of Thue.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):90-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  14
    L'Antinomie de M. Godel.S. C. Kleene & Ch Perelman - 1937 - Journal of Symbolic Logic 2 (1):40.
  44.  13
    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.
  45.  13
    Remarks on "Unsolvable" Problems.S. C. Kleene & A. J. Kempner - 1937 - Journal of Symbolic Logic 2 (1):41.
  46.  12
    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  
  47.  12
    Jaśkowski Stanisław. Recherches sur le système de la logique intuitioniste. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & Cie, Paris 1936, pp. 58–61. [REVIEW]S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):55-55.
  48.  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.
  49.  11
    Ch. Perelman. L'antinomie de M. Gödel. Académie Royale de Belgique, Bulletin de la Classe des Sciences, 5 S. Vol. 22 , Pp. 730–736. [REVIEW]S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):40-41.
  50.  2
    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   2 citations  
1 — 50 / 107