lunet
S
Stephen Cole Kleene
2 books on Lunet
Open in Lunet
Books
Introduction to metamathematics
Mathematical logic