Hardcover
Search
⌘ K
Year in Books
Discover
Browse
Feed
Recent activity by friends
Trending books
Most popular right now
Recommendations
Just for you
AskJules
Talk to our AI Librarian
5 Lab Experiments
Bookle
Guess the book
Series Tracker
Save your place
2023 Year in Books
The hits
Reader Similarity
& Differences
New Releases
What's hot
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
Year in Books
Login
Automated Deduction - CADE-19
By
Franz Baader
Loading...
By
Franz Baader
2003 • 517 pages
.
Book Info
Editions
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
