Reading Length
Home
Speed Tests
Login
Stephen Cole Kleene
Born 1909-01-01
Identifiers
Open Library
OL1478710A
Top Subjects
Logic, Symbolic and mathematical (4)
Metamathematics (4)
Recursive functions (2)
Mathematics -- Philosophy (2)
Arithmetic -- Foundations (1)
Calculus (1)
Set theory (1)
Books by Stephen Cole Kleene
Total count: 14
A theory of positive integers in formal logic
1935-01-01
Introduction to metamathematics
Van Nostrand
1952-01-01
Introduction to metamathematics
Van Nostrand
1952-01-01
Two papers on the predicate calculus.
1952-01-01
Sets, logic and mathematical foundations.
Williams College
1956-01-01
The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley.
North-Holland Pub. Co.
1965-01-01
The foundations of intuitionistic mathematics
North-Holland
1965-01-01
The foundations of intuitionistic mathematics
especially in relation to recursive functions
North-Holland
1965-01-01
Introduction to metamathematics
Nostrand
1967-01-01
Mathematical logic.
Wiley
1967-01-01
Mathematical logic
Wiley
1968-01-01
Formalized recursive functionals and formalized realizability
American Mathematical Society
1969-01-01
Intro to Metamathematic (Bibliotheca Mathematica, a Series of Monographs on Pure and)
Not Avail
1971-08-01
Mathematical Logic
John Wiley and Sons
1987-01-01
