53 found
Sort by:
  1. 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  
     
    My bibliography  
     
    Export citation  
  2. 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  
     
    My bibliography  
     
    Export citation  
  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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. J. R. Shoenfield & S. C. Kleene (1995). The Mathematical Work of S. C. Kleene. Bulletin of Symbolic Logic 1 (1):8-43.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Solomon Feferman, John Dawson & Stephen Kleene (eds.) (1990). Kurt Gödel: Collected Works Vol. Ii. Oxford University Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Stephen C. Kleene (1987). Reflections on Church's Thesis. Notre Dame Journal of Formal Logic 28 (4):490-498.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) (1980). The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  9. Stephen C. Kleene (1978). An Addendum to the Work of Kurt Gödel. Journal of Symbolic Logic 43 (3):613.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Stephen C. Kleene (1976). The Work of Kurt Gödel. Journal of Symbolic Logic 41 (4):761-778.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. S. C. Kleene (1973). Realizability: A Retrospective Survey. In. In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag. 95--112.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Stephen Cole Kleene (1967/2002). 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)  
     
    My bibliography  
     
    Export citation  
  13. 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.
    No categories
     
    My bibliography  
     
    Export citation  
  14. Stephen Cole Kleene (1965). The Foundations of Intuitionistic Mathematics. Amsterdam, North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  15. S. C. Kleene (1963). An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 28 (2):154-156.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. S. C. Kleene (1962). Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 27 (1):11-18.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. S. C. Kleene (1959). Countable Functionals. In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam, North-Holland Pub. Co.. 81--100.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  18. S. C. Kleene (1958). Review: Alonzo Church, Introduction to Mathematical Logic. [REVIEW] Journal of Symbolic Logic 23 (3):362-362.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. S. C. Kleene (1957). Review: E. W. Beth, Semantic Construction of Intuitionistic Logic. [REVIEW] Journal of Symbolic Logic 22 (4):363-365.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. 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)  
     
    My bibliography  
     
    Export citation  
  21. S. C. Kleene (1952). Review: Haskell B. Curry, A Simplification of the Theory of Combinators. [REVIEW] Journal of Symbolic Logic 17 (1):76-76.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
  23. S. C. Kleene (1951). Review: Rozsa Peter, Zum Begriff der Rekursiven Reellen Zahl. [REVIEW] Journal of Symbolic Logic 16 (3):216-216.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. 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)  
     
    My bibliography  
     
    Export citation  
  25. S. C. Kleene (1950). Review: Frederic B. Fitch, A Further Consistent Extension of Basic Logic. [REVIEW] Journal of Symbolic Logic 15 (3):219-220.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. 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)  
     
    My bibliography  
     
    Export citation  
  27. 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.
  28. 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)  
     
    My bibliography  
     
    Export citation  
  29. 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)  
     
    My bibliography  
     
    Export citation  
  30. 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.
  31. 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  
     
    My bibliography  
     
    Export citation  
  32. S. C. Kleene (1947). Review: Emil L. Post, Note on a Conjecture of Skolem. [REVIEW] Journal of Symbolic Logic 12 (1):28-28.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. S. C. Kleene (1947). Review: Robert Feys, La Technique de la Logique Combinatoire. [REVIEW] Journal of Symbolic Logic 12 (1):27-28.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. S. C. Kleene (1945). On the Interpretation of Intuitionistic Number Theory. Journal of Symbolic Logic 10 (4):109-124.
  35. S. C. Kleene (1942). Review: Arthur H. Copeland, Postulates for the Theory of Probability. [REVIEW] Journal of Symbolic Logic 7 (1):41-41.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. S. C. Kleene (1941). Review: Haskell B. Curry, Some Aspects of the Problem of Mathematical Rigor. [REVIEW] Journal of Symbolic Logic 6 (3):100-102.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. 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)  
     
    My bibliography  
     
    Export citation  
  38. 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)  
     
    My bibliography  
     
    Export citation  
  39. 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)  
     
    My bibliography  
     
    Export citation  
  40. 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)  
     
    My bibliography  
     
    Export citation  
  41. S. C. Kleene (1939). Review: A. G. D. Watson, Mathematics and Its Foundations. [REVIEW] Journal of Symbolic Logic 4 (3):130-131.
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. S. C. Kleene (1939). Review: Rudolf Carnap, The Logical Syntax of Language. [REVIEW] Journal of Symbolic Logic 4 (2):82-87.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. S. C. Kleene (1938). On Notation for Ordinal Numbers. Journal of Symbolic Logic 3 (4):150-155.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  45. S. C. Kleene (1938). Third Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 3 (1):59-60.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. S. C. Kleene (1937). Review: A. J. Kempner, Remarks on "Unsolvable" Problems. [REVIEW] Journal of Symbolic Logic 2 (1):41-41.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. S. C. Kleene (1937). Review: Adolphe Lindenbaum, Sur la Simplicite Formelle des Notions. [REVIEW] Journal of Symbolic Logic 2 (1):55-56.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. S. C. Kleene (1937). Review: Ch. Perelman, L'Antinomie de M. Godel. [REVIEW] Journal of Symbolic Logic 2 (1):40-41.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. S. C. Kleene (1937). Review: Olaf Helmer, Perelman Versus Godel. [REVIEW] Journal of Symbolic Logic 2 (1):48-49.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. S. C. Kleene (1937). Review: Rozsa Peter, Uber die Mehrfache Rekursion. [REVIEW] Journal of Symbolic Logic 2 (1):57-57.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 53