Stephen Cole Kleene has written at least 2 books. Their most popular book is Introduction to Metamathematics with 2 saves with an average rating of -⭐.
Formalized Recursive Functionals and Formalized Realizability
Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search