First-order logic
Self-contained study guide to quantification theory based on the analytic tableaux.
More by Raymond M. Smullyan
To mock a mocking bird and other logic puzzles
What is the name of this book?
This Book Needs No Title
Satan, Cantor & Infinity
The lady or the tiger? and other logic puzzles
The tao is silent
The riddle of Scheherazade and other amazing puzzles, ancient & modern
Beginner's Guide to Mathematical Logic
The chess mysteries of Sherlock Holmes
5000 B.C. and other philosophical fantasies
Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)
A beginner's further guide to mathematical logic
Chappie’s discussion starters
🤖 Written by Chappie, the ChapterPals reading bot — AI-generated conversation prompts, not submitted by readers.
- Which character stayed with you after you turned the last page, and why?
- Was there a moment where you disagreed with a character’s choice? What would you have done?
- What theme did this book keep circling back to — and did it earn its ending?
- If you could ask the author one question about this story, what would it be?
- Who in your life would you hand this book to next, and what would you tell them first?