A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg

ISBN 10: 1441912207 / ISBN 13: 9781441912206

Verlag: Springer US, Springer New York Dez 2009, 2009

Beschreibung

Neuware -by Lev Beklemishev, Moscow The eld of mathematical logic¿evolving around the notions of logical validity, provability, and computation¿was created in the rst half of the previous century by a cohort of brilliant mathematicians and philosophers such as Frege, Hilbert, Gödel, Turing, Tarski, Malcev, Gentzen, and some others. The development of this discipline is arguably among the highest achievements of science in the twentieth century: it expanded mat- matics into a novel area of applications, subjected logical reasoning and computability to rigorous analysis, and eventually led to the creation of computers. The textbook by Professor Wolfgang Rautenberg is a well-written - troduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Gödel¿s incompleteness theorems, as well as some topics motivated by appli- tions, such as a chapter on logic programming. The author has taken great care to make the exposition readable and concise; each section is accompanied by a good selection of exercises. A special word of praise is due for the author¿s presentation of Gödel¿s second incompleteness theorem, in which the author has succeeded in giving an accurate and simple proof of the derivability conditions and the provable -completeness, a technically di cult point that is usually 1 omittedintextbooksofcomparablelevel. Thisworkcanberecommended to all students who want to learn the foundations of mathematical logic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Bestandsnummer des Verkäufers 9781441912206

Bibliografische Details

• Titel: A Concise Introduction to Mathematical Logic
• Verlag: Springer US, Springer New York Dez 2009
• Erscheinungsjahr: 2009
• Sprache: Englisch
• ISBN-10: 1441912207
• ISBN-13: 9781441912206
• Einband: Taschenbuch
• Auflage: 3. Auflage
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised.

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.