Lectures in Logic and Set Theory
Volume 1, Mathematical Logic
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.
CHF 78.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-0-521-16846-5
- EAN: 9780521168465
- Produktnummer: 8125792
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 342 S.
- Masse: H22.9 cm x B15.2 cm x D2.0 cm 526 g
- Abbildungen: Paperback
- Gewicht: 526
12 weitere Werke von George Tourlakis:
Bewertungen
Anmelden