Kleene, Stephen Cole 19091994
Overview
Works:  61 works in 366 publications in 8 languages and 4,389 library holdings 

Genres:  Conference proceedings 
Roles:  Author, Honoree, Editor 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works about
Stephen Cole Kleene
 The Kleene Symposium : proceedings of the symposium held June 1824, 1978 at Madison, Wisconsin, U.S.A. by Kleene Symposium( Book )
 Van Heijenoort, Jean, papers by Jean Van Heijenoort( )
 The Godel Editorial Project records( )
 Interpretations of Kleene's metamathematical predicate. A in intuitionistic arithmetic N by Thomas Thacher Robinson( Book )
 Claude Elwood Shannon papers by Claude Elwood Shannon( )
 Interpretations of Kleene's metamathematical predicate [gamma]1 A in intuitionistic arithmetic n by Thomas Thacher Robinson( )
 Oral history interview with Leon Henkin by Leon Henkin( )
 [Oral History Program interview with Stephen Cole Kleene, 1981] by Stephen Cole Kleene( Recording )
more
fewer
Most widely held works by
Stephen Cole Kleene
Introduction to metamathematics by
Stephen Cole Kleene(
Book
)
129 editions published between 1950 and 2012 in 6 languages and held by 1,365 WorldCat member libraries worldwide
129 editions published between 1950 and 2012 in 6 languages and held by 1,365 WorldCat member libraries worldwide
Mathematical logic by
Stephen Cole Kleene(
Book
)
65 editions published between 1967 and 2013 in 5 languages and held by 1,191 WorldCat member libraries worldwide
Undergraduate students with no prior instruction in mathematical logic will benefit from this multipart 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
65 editions published between 1967 and 2013 in 5 languages and held by 1,191 WorldCat member libraries worldwide
Undergraduate students with no prior instruction in mathematical logic will benefit from this multipart 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
)
20 editions published between 1965 and 2000 in English and Undetermined and held by 535 WorldCat member libraries worldwide
Provability, Computability and Reflection
20 editions published between 1965 and 2000 in English and Undetermined and held by 535 WorldCat member libraries worldwide
Provability, Computability and Reflection
The Kleene Symposium : proceedings of the symposium held June 1824, 1978 at Madison, Wisconsin, U.S.A. by
Kleene Symposium(
Book
)
12 editions published in 1980 in English and held by 276 WorldCat member libraries worldwide
12 editions published in 1980 in English and held by 276 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 210 WorldCat member libraries worldwide
14 editions published in 1969 in English and Italian and held by 210 WorldCat member libraries worldwide
Two papers on the predicate calculus by
Stephen Cole Kleene(
Book
)
36 editions published between 1951 and 1985 in English and Undetermined and held by 179 WorldCat member libraries worldwide
36 editions published between 1951 and 1985 in English and Undetermined and held by 179 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
)
11 editions published between 1856 and 1991 in English and held by 43 WorldCat member libraries worldwide
11 editions published between 1856 and 1991 in English and held by 43 WorldCat member libraries worldwide
On undecidable propositions of formal mathematical systems by
Kurt Gdel(
Book
)
2 editions published in 1934 in English and held by 24 WorldCat member libraries worldwide
2 editions published in 1934 in English and held by 24 WorldCat member libraries worldwide
Logic and foundations of mathematics : Dedicated to Prof. A. Heyting on his 70th birthday(
Book
)
2 editions published in 1968 in English and held by 16 WorldCat member libraries worldwide
2 editions published in 1968 in English and held by 16 WorldCat member libraries worldwide
Collected works by
Kurt Gdel(
Book
)
5 editions published in 1995 in German and English and held by 14 WorldCat member libraries worldwide
5 editions published in 1995 in German and English and held by 14 WorldCat member libraries worldwide
A theory of positive integers in formal logic by
Stephen Cole Kleene(
Book
)
7 editions published between 1933 and 1935 in English and held by 13 WorldCat member libraries worldwide
7 editions published between 1933 and 1935 in English and held by 13 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
4 editions published between 1951 and 1971 in English and held by 8 WorldCat member libraries worldwide
Novija filozofija matematike(
Book
)
1 edition published in 1987 in Serbian and held by 5 WorldCat member libraries worldwide
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 Stegmller(
Book
)
1 edition published in 1959 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 1959 in English and held by 4 WorldCat member libraries worldwide
The voice of America : forum lectures(
Book
)
2 editions published in 1964 in English and held by 4 WorldCat member libraries worldwide
2 editions published in 1964 in English and held by 4 WorldCat member libraries worldwide
Mathematical logic. Course I, N.S.F. Summer Institute, Bowdoin College, 1961. Notes on lectures by
Stephen Cole Kleene(
Book
)
1 edition published in 1961 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1961 in English and held by 3 WorldCat member libraries worldwide
Computabilty by
Stephen Cole Kleene(
Book
)
3 editions published between 1964 and 1965 in English and held by 3 WorldCat member libraries worldwide
3 editions published between 1964 and 1965 in English and held by 3 WorldCat member libraries worldwide
The foundations of intuitionistic mathematics(
)
1 edition published in 1965 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1965 in English and held by 0 WorldCat member libraries worldwide
Kurt Gödel Collected Works Volume I: Publications 19291936(
)
1 edition published in 1986 in English and held by 0 WorldCat member libraries worldwide
Kurt Godel (1906  1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These longawaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass.; L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century
1 edition published in 1986 in English and held by 0 WorldCat member libraries worldwide
Kurt Godel (1906  1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These longawaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass.; L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century
Collected Works Vol. I: Publications, 19291936 by
Kurt Gdel(
)
2 editions published between 1986 and 2006 in English and held by 0 WorldCat member libraries worldwide
Kurt Godel (19061978) 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
2 editions published between 1986 and 2006 in English and held by 0 WorldCat member libraries worldwide
Kurt Godel (19061978) 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
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Vesley, Richard Eugene 1932 Author
 Barwise, Jon Editor
 Kunen, Kenneth Editor
 Keisler, H. Jerome Editor
 Largeault, Jean
 Gödel, Kurt Author
 Rosser, J. Barkley (John Barkley) 19071989
 Feferman, Solomon f. 1928 Editor
 Van Heijenoort, Jean Editor
 Moore, Gregory H. Editor
Useful Links
Associated Subjects
ArithmeticFoundations Bell Telephone Laboratories Biunno, Vincent P Bode, Hendrik W.(Hendrik Wade), Calculus Campbell, J. W.(John William), Church, Alonzo, Computer chess Computers Decidability (Mathematical logic) Dowling, Kevin Dreben, Burton Elias, P.(Peter) Flanagan, Dennis, Functions Gabor, Dennis, GamesData processing Gödel's theorem Heyting, A.(Arend), Hubbard, L. Ron(La Fayette Ron), Incompleteness theorems Information theory Intuitionistic mathematics Kleene, Stephen Cole, Kreisel, Georg Lasker, Edward, Levy, David N. L Logic, Symbolic and mathematical Management Mathematicians Mathematics MathematicsPhilosophy McCarthy, John, Metamathematics Moore, Edward F Pierce, John R.(John Robinson), Piore, Emanuel Ruben, Predicate calculus Price, G. Baley(Griffith Baley), Quine, W. V.(Willard Van Orman) Recursion theory Recursive functions Sagan, Carl, Set theory Shneidman, Edwin S Stratton, Julius Adams, Universities and collegesFaculty Van Heijenoort, Jean, Von Neumann, John, Weaver, Warren,
Alternative Names
Cole Kleene, Stephen 19091994
Kleene, S. C.
Kleene, S. C. 19091994
Kleene, S. C. (Stephen Cole), 19091994
Kleene, Stephen 19091994
Kleene, Stephen C.
Kleene, Stephen C. 19091994
Klini, C. K. 19091994
Klini, S. K.
Klini, S. K. 19091994
Klini, Stefen K.
Klini, Stefen K. 19091994
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 mathmaticien amricain
Stephen Cole Kleene USamerikanischer Mathematiker und Logiker
Stephen Kleene
Stephen Kleene matematico statunitense
Στίβεν Κλέινι
Клини, Стефен К..
Клини, Стефен К 1909
Клини, Стефен К. (Стефен Коул), 1909
Клини, Стивен Коул математик и логик США
Стівен Коул Кліні
Ստիվեն Կոուլ Կլինի
استیفن کول کلین ریاضیدان و دانشمند علوم کامپیوتر آمریکایی
クリーネ
スティーヴン・コール・クリーネ
史蒂芬科爾克萊尼
斯蒂芬科尔克莱尼
Languages
Covers