Beginner's guide to mathematical logic/ [by] Raymond M. Smullyan.

By:

Smullyan, Raymond M

Material type: Text

TextLanguage: ENG Series: Dover books on mathematicsPublication details: New York: Dover Publications, c2014Description: iii, 284 p. : ill. ; 24 cmISBN:

9780486492377(pbk.) :

Subject(s):

DDC classification:

23rd 511.3 SMU/B

Summary: Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.

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	Barcode
Books	Vigyanpuri Campus Mathematics	511.3 SMU/B (Browse shelf(Opens below))	Available	002777
Books	Vigyanpuri Campus Mathematics	511.3 SMU/B (Browse shelf(Opens below))	Available	002756
Course Reserve	Vigyanpuri Campus Mathematics	511.3 SMU/B (Browse shelf(Opens below))	Available	002741
Course Reserve	Vigyanpuri Campus Mathematics	511.3 SMU/B (Browse shelf(Opens below))	Available	002742
Books	Vigyanpuri Campus Mathematics	511.3 SMU/B (Browse shelf(Opens below))	Available	002743

Browsing Vigyanpuri Campus shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.3 SMU/B Beginner's guide to mathematical logic/	511.3 SMU/B Beginner's guide to mathematical logic/	511.3 SMU/B Beginner's guide to mathematical logic/	511.3 SMU/B Beginner's guide to mathematical logic/	511.5 BON/G Graph Theory/	511.5 BON/G Graph Theory/	511.5 BON/G Graph Theory/	Next

Includes bibliographical references (pages 263-264) and index.

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.

There are no comments on this title.

to post a comment.