86 found
Order:
  1. S. C. Kleene (1963). An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 28 (2):154-156.
  2. 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  
  3.  67
    S. C. Kleene (1945). On the Interpretation of Intuitionistic Number Theory. Journal of Symbolic Logic 10 (4):109-124.
  4.  17
    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.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  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  
  6.  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  
  7.  10
    S. C. Kleene (1962). Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 27 (1):11-18.
  8.  2
    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  
  9.  8
    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.
  10.  4
    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  
  11.  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  
  12.  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  
  13.  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  
  14.  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  
  15.  6
    S. C. Kleene (1938). Third Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 3 (1):59-60.
  16.  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  
  17.  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  
  18.  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  
  19.  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  
  20.  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  
  21.  1
    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  
  22.  1
    S. C. Kleene (1939). Review: Arnold Reymond, La Negation Et le Principe du Tiers Exclu. [REVIEW] Journal of Symbolic Logic 4 (2):99-100.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  23.  1
    W. V. Quine & S. C. Kleene (1958). A Theorem on Parametric Boolean Functions. Journal of Symbolic Logic 23 (1):58-59.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  1
    S. C. Kleene (1937). Review: Ch. Perelman, L'Antinomie de M. Godel. [REVIEW] Journal of Symbolic Logic 2 (1):40-41.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  2
    S. C. Kleene (1949). Review: Frederic B. Fitch, An Extension of Basic Logic. [REVIEW] Journal of Symbolic Logic 14 (1):68-69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  2
    S. C. Kleene (1940). Review: Rozsa Peter, Contribution to Recursive Number Theory. [REVIEW] Journal of Symbolic Logic 5 (2):70-71.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    S. C. Kleene (1940). Review: Laszlo Kalmar, On the Possibility of Definition by Recursion. [REVIEW] Journal of Symbolic Logic 5 (2):70-70.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  2
    S. C. Kleene (1952). Review: Alonzo Church, The Calculi of Lambda-Conversion. [REVIEW] Journal of Symbolic Logic 17 (1):76-76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    S. C. Kleene (1950). Review: Frederic B. Fitch, The Heine-Borel Theorem in Extended Basic Logic. [REVIEW] Journal of Symbolic Logic 15 (2):137-137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    S. C. Kleene (1936). Review: H. B. Curry, First Properties of Functionality in Combinatory Logic. [REVIEW] Journal of Symbolic Logic 1 (2):65-65.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  1
    S. C. Kleene (1937). Review: Rozsa Peter, Uber die Mehrfache Rekursion. [REVIEW] Journal of Symbolic Logic 2 (1):57-57.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  32.  1
    S. C. Kleene (1948). Review: K. R. Popper, Functional Logic Without Axioms or Primitive Rules of Inference. [REVIEW] Journal of Symbolic Logic 13 (3):173-174.
  33. 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  
  34.  1
    S. C. Kleene (1941). Review: William Wernick, Functional Dependence in the Calculus of Propositions. [REVIEW] Journal of Symbolic Logic 6 (1):37-37.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  1
    S. C. Kleene (1940). Review: D. Hilbert, P. Bernays, Grundlagen der Mathematik. [REVIEW] Journal of Symbolic Logic 5 (1):16-20.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    S. C. Kleene (1947). Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue. [REVIEW] Journal of Symbolic Logic 12 (3):90-91.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37. S. C. Kleene (1948). 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] Journal of Symbolic Logic 13 (3):173.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. S. C. Kleene (1957). 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] Journal of Symbolic Logic 22 (4):363-365.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. S. C. Kleene (1942). Copeland Arthur H.. Postulates for the Theory of Probability. American Journal of Mathematics, Vol. 63 , Pp. 741–762. Journal of Symbolic Logic 7 (1):41.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. S. C. Kleene (1958). Church Alonzo. Introduction to Mathematical Logic. Volume I. Second Printing. Princeton University Press, Princeton 1958, X + 378 Pp. [REVIEW] Journal of Symbolic Logic 23 (3):362.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. S. C. Kleene (1952). Church Alonzo. The Calculi of Lambda-Conversion. Annals of Mathematics Studies, No. 6. Second Printing. Lithoprinted. Princeton University Press, Princeton 1951, 82 Pp. [REVIEW] Journal of Symbolic Logic 17 (1):76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. S. C. Kleene (1936). Curry H. B.. First Properties of Functionality in Combinatory Logic. The Tôhoku Mathematical Journal, Vol. 41 , Pp. 371–401. [REVIEW] Journal of Symbolic Logic 1 (2):65.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. 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  
  44. S. C. Kleene (1952). Curry Haskell B.. A Simplification of the Theory of Combinators. Synthese, Vol. 7 , Pp. 391–399. Journal of Symbolic Logic 17 (1):76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. S. C. Kleene (1939). 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] Journal of Symbolic Logic 4 (2):82-87.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. S. C. Kleene (1949). Fitch Frederic B.. An Extension of Basic Logic. Journal of Symbolic Logic 14 (1):68-69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. S. C. Kleene (1950). Fitch Frederic B.. The Heine-Borel Theorem in Extended Basic Logic. Journal of Symbolic Logic 15 (2):137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. S. C. Kleene (1950). Fitch Frederic B.. A Further Consistent Extension of Basic Logic, The Journal of Symbolic Logic. Vol. 14 , Pp. 209–218. Journal of Symbolic Logic 15 (3):219-220.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. S. C. Kleene (1947). Feys Robert. La Technique de la Logique Combinatoire. Revue Philosophique de Louvain , Vol. 44 , Pp. 74–103, and Vol. 44 , Pp. 237–270. [REVIEW] Journal of Symbolic Logic 12 (1):27-28.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. S. C. Kleene (1940). Hilbert D. And Bernays P.. Grundlagen der Mathematik. Vol. 2, Julius Springer, Berlin 1939, Xii + 498 Pp. [REVIEW] Journal of Symbolic Logic 5 (1):16-20.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 86