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
3 Lab Experiments
Bookle
Guess the book
Series Tracker
Save your place
2023 Year in Books
The hits
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
List by
Allen Liao
Textbook
June 9, 2024
3 Books
Stats
Sort:
List Position
Table
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
Position
Details
Readers Count
Add
#2
Logic
Logic
Paul Tomassi
0 reads
#3
Type Theory and Formal Proof: An Introduction
Rob Nederpelt
Herman Geuvers
1 read
#4
Basic Proof Theory
Anne S. Troelstra
H. Schwichtenberg
1 read
