Introduction to Mathematical Logic (The Wadsworth & Brooks/Cole Mathematics Series)

Mendelsohn, Elliot

ISBN 10: 0534066240 / ISBN 13: 9780534066246

Verlag: Springer, 1987

Beschreibung

LIGHTNING FAST SHIPPING! A heavily used, but still working copy. Coffee stain and wrinkling to the edge of the pages when a tired undergrad fell asleep and knocked their cup over on their books. The binding and pages of the book have been reinforced with tape, has tape and stickers on the cover, as well as lots of notes (some of the answers in the learning activities may be filled in) on the pages. Definitely not pretty, but it's a working copy at a great price that ships fast. ~ Book does NOT contain an access code or CD/DVD.

Bestandsnummer des Verkäufers #135B-00158

Bibliografische Details

• Titel: Introduction to Mathematical Logic (The Wadsworth & Brooks/Cole Mathematics Series)
• Verlag: Springer
• Erscheinungsjahr: 1987
• Sprache: Englisch
• ISBN-10: 0534066240
• ISBN-13: 9780534066246
• Einband: Hardcover
• Auflage: 3. Auflage
• Zustand: Acceptable

Über diesen Titel

Inhaltsangabe

This classic in the field is a compact introduction to some of the basic topics of mathematical logic. Major changes in this edition include a new section on semantic trees; an expanded chapter on Axiomatic Set Theory; and full coverage of effective computability, where Turing computability is now the central notion and diagrams (flow-charts) are used to construct Turing machines. Recursion theory is covered in more detail, including the s-m-n theorem, the recursion theorem and Rice's Theorem. New sections on register machines and random access machines will be of special interest to computer science students. The proofs of the incompleteness theorems are now based on the Diagonalization Lemma and the text also covers Lob's Theorem and its connections with Godel's Second Theorem. This edition contains many new examples and the notation has been updated throughout. This book should be of interest to introductory courses for students of mathematics, philosophy, computer science and electrical engineering.