Introduction to Mathematical Logic: Third Edition von Mendelson, Elliott: Near Fine Hardcover (1987) 3rd Edition

Beschreibung

Third Edition. 6.25 x 9.5 inches. ix, 341 pp. Patterned red letterette lettered in gilt. Minor wear to extremities. Near Fine.

Bestandsnummer des Verk�ufers 4181

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Introduction to Mathematical Logic: Third Edition
Verlag: Monterey: Wadsworth & Brooks, 1987.
Erscheinungsjahr: 1987
Sprache: Englisch
ISBN-10: 0534066240
ISBN-13: 9780534066246
Einband: Hardcover
Auflage: 3rd Edition
Zustand: Near Fine

�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.

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.