ENGLISH

A Beginner's Guide to Mathematical Logic

By Raymond M. Smullyan

Book information

Publisher
Dover Publications
Year
2014
ISBN
9780486492377
Language
english
Format
PDF
Filesize
2 MB (2171060 bytes)
Series
Dover Books on Mathematics
Edition
Illustrated edition
Pages
292\292
Topic
Mathematics Logic
Time added
2021-11-28 09:44:41
Mathematical logic

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. Front Copyright Table of Contents 1 Genesis 2 Infinite Sets 3 Some Problems Arise! 4 Further Background 5 Beginning Propositional Logic 6 Propositional Tableaux 7 Axiomatic Propositional Logic 8 Beginning First-Order Logic 9 First-Order Logic: Main Topics 10 Incompleteness in a General Setting 11 Elementary Arithmetic 12 Formal Systems 13 Peano Arithmetic 14 Further Topics References Index Back

Similar books