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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Introduction to Mathematical Logic
Beispielbild für diese ISBN
Introduction to Mathematical Logic (The Wadsworth & Brooks/Cole Mathematics Series)
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Bestandsnummer des Verkäufers G0534066240I3N10
Beispielbild für diese ISBN
Introduction to Mathematical Logic, Third Edition
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Bestandsnummer des Verkäufers 00090519726
Beispielbild für diese ISBN
Introduction to Mathematical Logic (The Wadsworth & Brooks/Cole Mathematics Series)
Anbieter: Bulrushed Books, Moscow, ID, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Acceptable. 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
Beispielbild für diese ISBN
Introduction to Mathematical Logic
Anbieter: Shoemaker Booksellers, Gettysburg, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. 3rd Edition. Very nice copy with dustjacket. Previous owners name on front free endpaper otherwise free of any markings. Bestandsnummer des Verkäufers 30012
Beispielbild für diese ISBN
Introduction to Mathematical Logic, Third Edition
Anbieter: Nauka Japan LLC, Tokyo, Japan
Verkäuferbewertung 3 von 5 Sternen
Zustand: New. [ak 1012]. Bestandsnummer des Verkäufers NJ002329
Beispielbild für diese ISBN
Introduction to Mathematical Logic (The Wadsworth Brooks/Cole Mathematics Series)
Anbieter: Toscana Books, AUSTIN, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Bestandsnummer des Verkäufers Scanned0534066240
Beispielbild für diese ISBN
Introduction to Mathematical Logic (The Wadsworth & Brooks/Cole Mathematics Series).
Verlag:
Wadsworth & Brooks/Cole Advanced Books & Software, 1987
ISBN 10: 0534066240
ISBN 13: 9780534066246
Gebraucht
Hardcover
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. IX, 352 Seiten, Englisch 670g. Bestandsnummer des Verkäufers 492762
Gebraucht kaufen
EUR 27,90
Versand:
EUR 35,95
Von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Mathematical Logic, Third Edition
Anbieter: The Book Spot, Sioux Falls, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers Abebooks104769