Stephen Cole Kleene (kleene)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Gödel, Rudolf, Taussky-Todd, O., Kleene, Stephen Cole and Kreisel, Georg, eds. 1987. Gödel Remembered. History of Logic n. 4. Napoli: Bibliopolis.
Kleene, Stephen Cole. 1936. “General Recursive Functions of Natural Numbers.” Mathematische Annalen 112: 727–742. Reprinted, with an erratum, in Davis (1965, 237–253).
Kleene, Stephen Cole. 1938. “A Notation for Ordinal Numbers.” The Journal of Symbolic Logic 3(4): 150–155.
Kleene, Stephen Cole. 1939. “On the Term ‘Analytic’ in Logical Syntax.” The Journal of Unified Science (Erkenntnis) 9: 189–192. This volume never appeared; preprinted for the members of the 5th International Congress for the Unity of Science, Cambridge, Mass.
Kleene, Stephen Cole. 1943. “Recursive Predicates and Quantifiers.” Transactions of the American Mathematical Society 53: 41–73. Reprinted, with a correcxtion and an addendum, in Davis (1965, 255–287).
Kleene, Stephen Cole. 1952a. Introduction to Metamathematics. New York: Van Nostrand Reinhold.
Kleene, Stephen Cole, ed. 1952b. Two Papers on the Predicate Calculus. Providence, Rhode Island: American Mathematical Society.
Kleene, Stephen Cole. 1952c. “Permutation of inferences in Gentzen’s calculi LK and LJ.” in Two Papers on the Predicate Calculus, edited by Stephen Cole Kleene, pp. 1–26. Providence, Rhode Island: American Mathematical Society.
Kleene, Stephen Cole. 1960. “Realizability and Shanin’s Algorithm for the Constructive Deciphering of Mathematical Sentences.” Logique et Analyse [N.S.] 3(11–12): 154–165.
Kleene, Stephen Cole. 1962. “Disjunction and Existence under Implication in Elementary Intuitionistic Formalisms.” The Journal of Symbolic Logic 27: 11–18.
Kleene, Stephen Cole. 1965a. “Logical Calculus and Realizability.” in Studia logica-mathematica et philosophia. In honorem Rolf Nevanlinna die natali eius septuagesimo 22. X. 1965, edited by Societas Philosophica Fennica, pp. 71–80. Acta Philosophica Fennica n. 18. Helsinki: Societas Philosophica Fennica, Akateeminen Kirjakauppa.
Kleene, Stephen Cole. 1965b. “Classical Extensions of Intuitionistic Mathematics.” in Logic, Methodology and Philosophy of Science II, Proceedings of the 1964 International Congress in Jerusalem, edited by Yehoshua Bar-Hillel, pp. 31–44. Amsterdam: North-Holland Publishing Co.
Kleene, Stephen Cole. 1967. Mathematical Logic. Hoboken, New Jersey: John Wiley; Sons, Inc.
Kleene, Stephen Cole. 1968. “Constructive Functions in ‘The Foundations of Intuitionistic Mathematics’ .” in Logic, Methodology and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by Bob van Rootselaar and Johan Frederik [Frits] Staal, pp. 137–144. Studies in Logic and the Foundations of Mathematics n. 52. Amsterdam: North-Holland Publishing Co.
Kleene, Stephen Cole. 1971. Logique mathématique. Paris: Armand Colin. Traduction de Kleene (1967) par Jean Largeault.
Kleene, Stephen Cole. 1980. “Recursive Functionals and Quantifiers of Finite Types Revisited II.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 1–29. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Kleene, Stephen Cole. 1987. “Reflections on Church’s Thesis.” Notre Dame Journal of Formal Logic 28: 490–498.
Kleene, Stephen Cole. 1988. “Turing’s Analysis of Computability, and Major Applications of It.” in The Universal Turing Machine: A Half-Century Survey, edited by Rolf Herken, 1st ed., pp. 17–54. Oxford: Oxford University Press. Second edition: Herken (1995).
Further References
Davis, Martin, ed. 1965. The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Fonctions. Hewlett, New York: Raven Press.