Logical Labyrinths
Regular price
€132.99
A01=Raymond Smullyan
advanced mathematical logic applications
Author_Raymond Smullyan
Axiom Schema
Axiom System
Black Cards
Category=PBCD
common language
compactness
Compactness Theorem
connective
Denumerable Domain
Denumerable Set
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Female Knights
Finite Subsets
first
Follow
formal deduction
formula
Inference Rule
infinity concepts
knaves
knights
logic education
Logical Consequence
Male Knight
mathematical logic
Modus Ponens
order
paradoxes
philosophical logic
propositional
Propositional Logic
Propositional Variables
Provable Formula
puzzles
Regularity Theorem
Set S1
Sheffer Stroke
symbolic reasoning
Tableau Method
Tableau Rules
theorem
Truth Table
truth-teller puzzles
Unifying Notation
valid
Valid Formula
Valid Sentence
Product details
- ISBN 9781568814438
- Weight: 590g
- Dimensions: 152 x 229mm
- Publication Date: 22 Dec 2008
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author’s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject.
Raymond M. Smullyan is a highly-regarded research mathematician and a successful author with numerous popular books on logic puzzles, as well as more technical works on logic. In addition, he is a magician, close friend of Martin Gardner, and a very popular figure in the international puzzle community.
