Stephen Cole Kleene

Born

1909

13 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Details Grid — Show only ebooks?

Preview

Preview Book
×Close

Introduction to metamathematics.

by Stephen Cole Kleene First published in 1952 — 7 editions

Preview Only

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Introduction to metamathematics

by Stephen Cole Kleene First published in 1952 — 3 editions

Locate

My Reading Lists:

Create a new list
Two papers on the predicate calculus

by Stephen Cole Kleene First published in 1952 — 3 editions

Locate

My Reading Lists:

Create a new list
Preview

Mathematical logic

by Stephen Cole Kleene First published in 1967 — 3 editions

Locate

My Reading Lists:

Create a new list
Preview

The foundations of intuitionistic mathematics: especially in relation to recursive functions

by Stephen Cole Kleene First published in 1965 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Formalized recursive functionals and formalized realizability

by Stephen Cole Kleene First published in 1969 — 1 edition

Locate

My Reading Lists:

Create a new list
Mathematical logic

by Stephen Cole Kleene First published in 1968 — 1 edition

Locate

My Reading Lists:

Create a new list
Introduction to metamathematics

by Stephen Cole Kleene First published in 1967 — 1 edition

Locate

My Reading Lists:

Create a new list
foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley.

by Stephen Cole Kleene First published in 1965 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Mathematical Logic

by Stephen Cole Kleene First published in 1987 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Sets, logic and mathematical foundations.

by Stephen Cole Kleene First published in 1956 — 1 edition

Locate

My Reading Lists:

Create a new list
A theory of positive integers in formal logic

by Stephen Cole Kleene First published in 1935 — 1 edition

Locate

My Reading Lists:

Create a new list
The foundations of intuitionistic mathematics

by Stephen Cole Kleene and Richard Eugene Vesley First published in 1965 — 1 edition

Locate

My Reading Lists:

Create a new list

Born

1909

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1478710A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

September 6, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import

Stephen Cole Kleene

13 works Add another?

Preview Book

Create a new list

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History