- Start
- Lectures in Logic and Set Theory
Lectures in Logic and Set Theory
Angebote / Angebote:
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.
Folgt in ca. 10 Arbeitstagen