Hardcover
Search
⌘ K
Discover
Browse
Feed
Recent activity by friends
Trending books
Most popular right now
Recommendations
Just for you
AskJules
Talk to our AI Librarian
4 Lab Experiments
Bookle
Guess the book
Series Tracker
Save your place
2023 Year in Books
The hits
Reader Similarity
& Differences
Prompts
Vote for your favorites
Lists
Curated by our readers
Genres
Browse by Genre
Moods
Browse by Mood
All Books
Browse all books
Use setting
Login
Login
Memoirs of a Proof Theorist: Gödel and Other Logicians
By
Gaisi Takeuti
,
Mariko Yasugi
(Translator)
,
+1 more
Loading...
By
Gaisi Takeuti
,
Mariko Yasugi
(Translator)
,
+1 more
2003 • 155 pages
.
Book Info
Editions
1
Lists
1
Journals
1
Footer links
Community
Readers & Supporters
Join Our Discord
Follow Along
Blog
Hardcover Live
About Hardcover
Request a feature
We're an Open Book
Frequently Asked Questions
Contact Support
Roadmap
Our Policies
iOS
Android
Discord
TikTok
Mastodon
Instagram
Home
Library
Explore
Trending
Search
