WorldCat Identities

Kleene, Stephen Cole 1909-1994

Overview
Works: 57 works in 393 publications in 8 languages and 4,506 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Honoree, Other
Classifications: QA9, 510.1
Publication Timeline
.
Most widely held works by Stephen Cole Kleene
Introduction to metamathematics by Stephen Cole Kleene( Book )

129 editions published between 1950 and 2012 in 4 languages and held by 1,350 WorldCat member libraries worldwide

Mathematical logic by Stephen Cole Kleene( Book )

62 editions published between 1961 and 2002 in 5 languages and held by 1,195 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 )

28 editions published between 1965 and 2000 in 3 languages and held by 562 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 )

14 editions published in 1980 in English and held by 284 WorldCat member libraries worldwide

Formalized recursive functionals and formalized realizability by Stephen Cole Kleene( Book )

14 editions published in 1969 in English and Italian and held by 216 WorldCat member libraries worldwide

Two papers on the predicate calculus by Stephen Cole Kleene( Book )

40 editions published between 1951 and 1985 in English and Undetermined and held by 190 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 )

12 editions published between 1856 and 1991 in English and held by 43 WorldCat member libraries worldwide

Introducción a la metamatemática by Stephen Cole Kleene( Book )

4 editions published in 1974 in Spanish and held by 34 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 25 WorldCat member libraries worldwide

Matematičeskaja logika by Stephen Cole Kleene( Book )

7 editions published in 1973 in Russian and held by 18 WorldCat member libraries worldwide

Vvedenie v metamatematiku by Stephen Cole Kleene( Book )

8 editions published in 1957 in Russian and Undetermined and held by 14 WorldCat member libraries worldwide

A theory of positive integers in formal logic by Stephen Cole Kleene( Book )

8 editions published between 1933 and 1935 in English and held by 14 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 8 WorldCat member libraries worldwide

The voice of America : forum lectures( Book )

3 editions published in 1964 in English and held by 6 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 )

3 editions published between 1959 and 1973 in German and English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.50 for Introducti ... to 0.95 for The voice ...)

Introduction to metamathematics
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.

Klini, S. K.

Klini, S. K. 1909-1994

Klini, Stefen K.

Klini, Stefen K. 1909-1994

S. C. Cole.

Stephen Cole Kleene Amerikaans wiskundige

Stephen Cole Kleene amerikansk datavetare och matematiker

Stephen Cole Kleene amerikansk informatikar og matematikar

Stephen Cole Kleene amerikansk informatiker og matematiker

Stephen Cole Kleene mathématicien américain

Stephen Cole Kleene US-amerikanischer Mathematiker und Logiker

Stephen Kleene

Stephen Kleene matematico statunitense

Στίβεν Κλέινι

Клини, Стефен К..

Клини, Стефен К 1909-

Клини, Стефен К. (Стефен Коул), 1909-

Клини, Стивен Коул математик и логик США

Стівен Коул Кліні

Ստիվեն Կոուլ Կլինի

استیفن کول کلین ریاضی‌دان و دانشمند علوم کامپیوتر آمریکایی

クリーネ

スティーヴン・コール・クリーネ

史蒂芬·科爾·克萊尼

斯蒂芬·科尔·克莱尼

Languages
English (291)

Russian (17)

French (15)

Spanish (4)

Italian (3)

German (2)

Japanese (2)

Dutch (1)

Covers
Mathematical logic