WorldCat Identities

Kleene, Stephen Cole 1909-1994

Overview
Works: 61 works in 323 publications in 7 languages and 4,266 library holdings
Genres: Conference proceedings 
Roles: Honoree, Editor
Classifications: QA9, 510.1
Publication Timeline
Key
Publications about  Stephen Cole Kleene Publications about Stephen Cole Kleene
Publications by  Stephen Cole Kleene Publications by Stephen Cole Kleene
posthumous Publications by Stephen Cole Kleene, published posthumously.
Most widely held works by Stephen Cole Kleene
Introduction to metamathematics by Stephen Cole Kleene ( Book )
109 editions published between 1950 and 2012 in 3 languages and held by 1,330 WorldCat member libraries worldwide
Mathematical logic by Stephen Cole Kleene ( Book )
41 editions published between 1967 and 2002 in 3 languages and held by 1,024 WorldCat member libraries worldwide
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition
The foundations of intuitionistic mathematics, especially in relation to recursive functions by Stephen Cole Kleene ( Book )
16 editions published between 1965 and 2000 in English and Undetermined and held by 541 WorldCat member libraries worldwide
Provability, Computability and Reflection
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. by Kleene Symposium ( Book )
11 editions published in 1980 in English and held by 406 WorldCat member libraries worldwide
Formalized recursive functionals and formalized realizability by Stephen Cole Kleene ( Book )
11 editions published in 1969 in English and Italian and held by 222 WorldCat member libraries worldwide
Logique mathematique by Stephen Cole Kleene ( Book )
13 editions published between 1971 and 1987 in 3 languages and held by 212 WorldCat member libraries worldwide
Two papers on the predicate calculus by Stephen Cole Kleene ( Book )
30 editions published between 1951 and 1985 in English and Undetermined and held by 183 WorldCat member libraries worldwide
The foundations of intuitionistic mathematics by Stephen Cole Kleene ( )
3 editions published in 1965 in Undetermined and English and held by 89 WorldCat member libraries worldwide
Sets, logic, and mathematical foundations : a summer institute for teachers of secondary and college mathematics sponsored by the National Science Foundation by Stephen Cole Kleene ( Book )
10 editions published between 1856 and 1981 in English and held by 49 WorldCat member libraries worldwide
On undecidable propositions of formal mathematical systems by Kurt Gödel ( Book )
3 editions published in 1934 in English and held by 27 WorldCat member libraries worldwide
Introducción a la metamatemática by Stephen Cole Kleene ( Book )
3 editions published in 1974 in Spanish and held by 23 WorldCat member libraries worldwide
Matematičeskaja logika by Stephen Cole Kleene ( Book )
5 editions published in 1973 in Russian and held by 15 WorldCat member libraries worldwide
Vvedenie v metamatematiku by Stephen Cole Kleene ( Book )
7 editions published in 1957 in Russian and Undetermined and held by 13 WorldCat member libraries worldwide
Logic and foundations of mathematics ( Book )
1 edition published in 1968 in English and held by 12 WorldCat member libraries worldwide
A theory of positive integers in formal logic by Stephen Cole Kleene ( Book )
5 editions published between 1933 and 1935 in English and held by 11 WorldCat member libraries worldwide
Collected Works Volume I: Publications 1929-1936 by Kurt Gödel ( )
2 editions published between 1986 and 2006 in English and held by 9 WorldCat member libraries worldwide
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individua
Logic and foundations of mathematics papers dedicated to Prof. A. Heyting on his 70th birthday ( Book )
1 edition published in 1968 in English and held by 8 WorldCat member libraries worldwide
Permutability of inferences in Gentzen's calculi LK and LJ. by Stephen Cole Kleene ( Book )
4 editions published between 1951 and 1971 in English and held by 7 WorldCat member libraries worldwide
Collected Works, Volume II Volume II: Publications 1938-1974 by Kurt Gödel ( )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in historical context
Novija filozofija matematike ( Book )
1 edition published in 1987 in Serbian and held by 5 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.00 for Logic and ... to 1.00 for Novija fil ...)
Alternative Names
Cole Kleene, Stephen 1909-1994
Kleene, S. C.
Kleene, S. C. 1909-1994
Kleene, S. C. (Stephen Cole), 1909-1994
Kleene, Stephen 1909-1994
Kleene, Stephen C.
Kleene, Stephen C. 1909-1994
Klini, C. K. 1909-1994
Klini, S. K.
Klini, S. K. 1909-1994
Klini, Stefen K.
Klini, Stefen K. 1909-1994
S. C. Cole.
Клини, Стефен К..
Клини, Стефен К 1909-
Клини, Стефен К. (Стефен Коул), 1909-
クリーネ
Languages
English (246)
French (11)
Russian (11)
Italian (3)
Spanish (3)
Serbian (1)
Dutch (1)
Covers