Andere Kunden interessierten sich auch für
![Mathematical Logic and Computation]( "Mathematical Logic and Computation")
Mathematical Logic and Computation76,99 €![An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities]( "An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities")
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities17,99 €![Introduction to Higher Order Categorical Logic]( "Introduction to Higher Order Categorical Logic")
Introduction to Higher Order Categorical Logic48,99 €![An Introduction to Category Theory]( "An Introduction to Category Theory")
An Introduction to Category Theory37,99 €![Bounded Arithmetic, Propositional Logic and Complexity Theory]( "Bounded Arithmetic, Propositional Logic and Complexity Theory")
Bounded Arithmetic, Propositional Logic and Complexity Theory104,99 €![An Introduction to Mathematical Reasoning]( "An Introduction to Mathematical Reasoning")
An Introduction to Mathematical Reasoning47,99 €![How to Prove It]( "How to Prove It")
How to Prove It98,99 €
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. Dover (2014) original publication. See every Dover book in print at www.doverpublications.com