WorldCat Identities

Kleene, Stephen Cole 1909-1994

Overview
Works: 60 works in 337 publications in 7 languages and 4,308 library holdings
Genres: Conference proceedings 
Roles: Author, Honoree, Editor
Classifications: QA9, 510.1
Publication Timeline
.
Most widely held works by Stephen Cole Kleene
Introduction to metamathematics by Stephen Cole Kleene( Book )

121 editions published between 1950 and 2012 in 5 languages and held by 1,360 WorldCat member libraries worldwide

Mathematical logic by Stephen Cole Kleene( Book )

47 editions published between 1967 and 2013 in 4 languages and held by 1,042 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 )

19 editions published between 1965 and 2000 in English and Undetermined and held by 547 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 414 WorldCat member libraries worldwide

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

12 editions published in 1969 in English and Italian and held by 232 WorldCat member libraries worldwide

Logique mathematique by Stephen Cole Kleene( Book )

14 editions published between 1971 and 1987 in French and Italian and held by 215 WorldCat member libraries worldwide

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

34 editions published between 1951 and 1985 in English and Undetermined and held by 192 WorldCat member libraries worldwide

The foundations of intuitionistic mathematics( )

1 edition published in 1965 in English and held by 96 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 51 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 26 WorldCat member libraries worldwide

Logic and foundations of mathematics : dedicated to prof. A. Heyting on his 70th birthday( 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

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 9 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 Vol. I: Publications, 1929-1936 by Kurt Gödel( )

2 editions published between 1986 and 2006 in English and held by 5 WorldCat member libraries worldwide

Annotation 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 essentiallyof 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 toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians
Novija filozofija matematike( Book )

1 edition published in 1987 in Serbian and held by 5 WorldCat member libraries worldwide

Kurt Gödel Collected Works Volume I: Publications 1929-1936( )

1 edition published in 1986 in English and held by 4 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 long-awaited 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
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

The voice of America : forum lectures( Book )

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

 
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 (259)

French (13)

Russian (11)

Italian (3)

Spanish (3)

Serbian (1)

Dutch (1)

Covers
Mathematical logicCollected Works Vol. I: Publications, 1929-1936