Lectures in Logic and Set Theory

Volume 1, Mathematical Logic
Erscheinungsjahr 2010
ISBN: 978-0-521-16846-5
Verlag: Cambridge University Press

Buch, Englisch, Band 82, 342 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 556 g

Reihe: Cambridge Studies in Advanced Mathematics

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Autoren/Hrsg.

Tourlakis, George

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.