Beginner's guide to mathematical logic

By:

Smullyan, Raymond M

Publication details: New York: Dover Publications, 2020.Description: iii, 284p.: ill.; pbk.: 24cmISBN:

9780486492377

Subject(s):

DDC classification:

511.3 SMU

Summary: 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. https://store.doverpublications.com/0486492370.html

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	IIT Gandhinagar	General	511.3 SMU (Browse shelf(Opens below))	1	Available		033491

Browsing IIT Gandhinagar shelves, Collection: General Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.3 PRE Purity, spectra and localisation, Vol. 121	511.3 PUD Logical foundations of mathematics and computational complexity: a gentle introduction	511.3 SEN Bridge to advanced mathematics	511.3 SMU Beginner's guide to mathematical logic	511.3 STE Infinity: a very short introduction	511.3 TOM Banach-Tarski paradox, Vol. 163	511.3 TOU Lectures in logic and set theory: mathematical Logic , Vol.1	Next

Includes References and Index

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.

https://store.doverpublications.com/0486492370.html

There are no comments on this title.

to post a comment.