WorldCat Identities

Kleene, Stephen Cole 1909-1994

Overview
Works: 53 works in 294 publications in 6 languages and 4,174 library holdings
Genres: Conference proceedings 
Roles: Honoree
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 )
104 editions published between 1950 and 2012 in 3 languages and held by 1,334 WorldCat member libraries worldwide
Mathematical logic by Stephen Cole Kleene ( Book )
35 editions published between 1967 and 2002 in English and Undetermined and held by 1,013 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 )
17 editions published between 1965 and 2000 in English and Undetermined and held by 538 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 373 WorldCat member libraries worldwide
Formalized recursive functionals and formalized realizability by Stephen Cole Kleene ( Book )
9 editions published in 1969 in English and held by 214 WorldCat member libraries worldwide
Logique mathematique by Stephen Cole Kleene ( Book )
10 editions published between 1971 and 1987 in French and held by 210 WorldCat member libraries worldwide
Two papers on the predicate calculus by Stephen Cole Kleene ( Book )
29 editions published between 1951 and 1985 in English and Undetermined and held by 176 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 85 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 )
9 editions published between 1856 and 1981 in English and held by 47 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
Logic and foundations of mathematics ( Book )
1 edition published in 1968 in English and held by 13 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
A theory of positive integers in formal logic by Stephen Cole Kleene ( Book )
6 editions published between 1933 and 1935 in English and held by 12 WorldCat member libraries worldwide
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
Matematičeskaja logika by Stephen Cole Kleene ( Book )
1 edition published in 1973 in Russian and held by 7 WorldCat member libraries worldwide
Permutability of inferences in Gentzen's calculi LK and LJ. by Stephen Cole Kleene ( Book )
3 editions published between 1951 and 1967 in English and held by 6 WorldCat member libraries worldwide
Matematičeskaja logika by Stephen Cole Kleene ( Book )
2 editions published in 1973 in Russian and held by 6 WorldCat member libraries worldwide
Novija filozofija matematike ( Book )
1 edition published in 1987 in Serbian and held by 5 WorldCat member libraries worldwide
Unvollständigkeit und Unentscheidbarkeit; die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung by Wolfgang Stegmüller ( Book )
1 edition published in 1959 in English and held by 4 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.
S. C. Cole.
Клини, Стефен К. (Стефен Коул), 1909-
クリーネ
Languages
English (230)
French (10)
Russian (9)
Spanish (3)
Serbian (1)
Dutch (1)
Covers