pandaLogic, symbolic and mathematical
Featured — award winners and classics first, when available. Use “Show different books” for a new selection.
🔄 Show different books
Logic with trees
Ideals, varieties, and algorithms
Sets, Functions, and Logic
Foundations of mathematical logic
Meta-logics and logic programming
Introduction to Elementary Mathematical Logic
A concise introduction to pure mathematics
Algorithmic logic
Computation: finite and infinite machines
Logic and knowledge, essays 1901-1950
Grundlagen der Arithmetik
Infinity and the mind
Meaning and necessity
Simple Simon
Discrete Mathematics and Its Applications
Mathematical fallacies and paradoxes
Mathematical logic
First-order logic
The Frege reader
Computational logic and human thinking
Past, present and future
Essence of logic
Decision Procedures
Symbolic logic
Computability and logic
Major Works
Elements of the theory of computation
Logic, semantics, metamathematics
Tractatus logico-philosophicus
PX, a computational logic
Browse free books to read online
Book Explorer lets readers browse the free, readable part of the Open Library catalogue by familiar genres, or by the exact subject tags Open Library assigns each book. Every book has its own page with a reader where one is available, plus links to Open Library, your library, Libby and Amazon.
Fiction
- All Fiction
- Literary Fiction
- Children's Fiction
- Mystery & Detective
- Romance
- Fantasy
- Thriller & Suspense
- Historical Fiction
- Science Fiction
- Graphic Novels & Comics
- Humor
- Short Stories
- Horror
- Young Adult Fiction
- Western
Non-fiction
- All Non-fiction
- History
- Biography & Memoir
- Religion & Spirituality
- Politics & Social Sciences
- Travel
- Philosophy
- Business & Economics
- Science
- Art & Photography
- Cooking
- Self-Help
- Music
- Health & Fitness
- Sports & Recreation
- Humor
- True Crime