Normal view MARC view ISBD view

A beginner's guide to mathematical logic

By: Smullyan, Raymond M.
Material type: materialTypeLabelBookPublisher: New York Dover Publications 2014Description: iii, 284 p.ISBN: 9780486492377.Subject(s): Mathematics | Logic | Symbolic and mathematicalDDC classification: 511.3 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)
Item type Current location Item location Collection Call number Status Date due Barcode
Books Vikram Sarabhai Library
General Stacks
Slot 1354 (0 Floor, East Wing) Non-fiction 511.3 S6B3 (Browse shelf) Available 199547

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 for this item.

Log in to your account to post a comment.

Powered by Koha