by Stephen Cole Kleene
No reviews yet. Be the first!
Two papers on the predicate calculus
Mathematical logic
Introduction to metamathematics
The foundations of intuitionistic mathem...
Mathematical Logic
A theory of positive integers in formal ...
Gödel's proof
Gödel, Escher, Bach
Metamagical Themas
How to Bake Pi
The Mathematics of Logic
Metamathematics of first-order arithmeti...