🎉 Up to 70% Off Selected ItemsShop Sale
A Beginner's Guide to Mathematical Logic
Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
Dover Original.
puzzles;riddles;propositional logic axiom system;math exercises;stories of philosophers;quotations;undergraduate studies;complex;science and math;formal proof systems;foundational theories;undecidability;combinatoric logic;recursion theory;incompleteness theorems;first order logic;propositional logic;proofs;mathematical studies$8.73
Original: $24.95
-65%A Beginner's Guide to Mathematical Logic—
$24.95
$8.73Product Information
Product Information
Shipping & Returns
Shipping & Returns
Description
Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
Dover Original.
puzzles;riddles;propositional logic axiom system;math exercises;stories of philosophers;quotations;undergraduate studies;complex;science and math;formal proof systems;foundational theories;undecidability;combinatoric logic;recursion theory;incompleteness theorems;first order logic;propositional logic;proofs;mathematical studies
