Books by Stephen Cole Kleene
Introduction to metamathematics
1952
Mathematical logic
1967
Two papers on the predicate calculus
1952
The foundations of intuitionistic mathematics
1965
Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1)
1997
Can't find the book you're looking for? Let us know — it helps us improve.