Lectures in Logic and Set Theory

Volume 1, Mathematical Logic
Erscheinungsjahr 2014
ISBN: 978-0-521-75373-9
Verlag: Cambridge University Press

Buch, Englisch, Band 82, 342 Seiten, Format (B × H): 157 mm x 235 mm, Gewicht: 707 g

Reihe: Cambridge Studies in Advanced Mathematics

This two-volume 2003 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 Mathematik für Informatiker
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik

Inhaltsverzeichnis

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