A Beginner's Guide to Mathematical Logic / Raymond M Smullyan

By:

Smullyan, Raymond M

Contributor(s):

Smullyan, Raymond M

Material type: Text

TextPublisher number: :Technical Bureau India Pvt. Ltd. | :E/261, Shastri Nagar DelhiSeries: Dover books on mathematicsPublication details: New York : Dover Publications, 2014.Description: iii, 284p. 24 cmISBN:

9780486492377

Subject(s):

DDC classification:

511.3 SMU

Contents:

Part I General Background -- Part II Propositional Logic -- Part III First-Order Logic -- Part IV The Incompletemess Phenomenon.

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. -- Provided by publisher.

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	Call number	Status	Notes	Barcode
Mathematics Departmental Library	Mathematics Departmental Library	511.3 SMU (Browse shelf(Opens below))	Not For Loan	FPDA Grant	M357

Total holds: 0

Part I General Background --
Part II Propositional Logic --
Part III First-Order Logic --
Part IV The Incompletemess Phenomenon.

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. -- Provided by publisher.

There are no comments on this title.

to post a comment.

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)