Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

George Tourlakis (Autor)

Buch | Softcover

342 Seiten

2010
Cambridge University Press (Verlag)
978-0-521-16846-5 (ISBN)

Artikel merken

This work includes formal proof techniques, a section on applications of compactness, 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.

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.

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

Erscheint lt. Verlag	9.9.2010
Reihe/Serie	Cambridge Studies in Advanced Mathematics
Zusatzinfo	Worked examples or Exercises
Verlagsort	Cambridge
Sprache	englisch
Maße	152 x 229 mm
Gewicht	510 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-521-16846-5 / 0521168465
ISBN-13	978-0-521-16846-5 / 9780521168465
Zustand	Neuware