Loading this book…
MathematicsSymbolic and mathematical Logic
by Raymond M. SmullyanNot on Booklabria yet
Self-contained study guide to quantification theory based on the analytic tableaux.
Content notes
No content warnings recorded yet. Catalogue records don't include them, which doesn't mean the book has none.
To Mock a Mockingbird and Other Logic Puzzles
1985
What is the name of this book?
1978
This book needs no title
1980
Satan, cantor, and infinity
1992
The lady or the tiger? and other logic puzzles
1992
The chess mysteries of Sherlock Holmes
1979
The Riddle of Scheherazade
2000
The tao is silent
1977
A Beginners Guide To Mathematical Logic
The Mathematical Experience
Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto
Discrete Mathematics and Its Applications
Kenneth H. Rosen
How to prove it
Daniel J. Velleman
Understanding Symbolic Logic
Virginia Klenk, Markosian
The Logic Book
Merrie Bergmann
Mathematics and plausible reasoning
George Pólya
Principia mathematica
Alfred North Whitehead, Bertrand Russell
An Investigation of the Laws of Thought (Barnes & Noble)
George Boole
Is God a mathematician?
Mario Livio
Proofs and refutations
Imre Lakatos, John Worrall, Elie Zahar
Algèbre de la logique
Louis Couturat
Representing and reasoning with probabilistic knowledge
Fahiem Bacchus
Book data and covers from Open Library (openlibrary.org).
The most complete records first.
Editions and their details come from Open Library, as its contributors recorded them. Publisher names are shown as recorded. See this book on Open Library(opens Open Library)