Lectures in Logic and Set Theory
BücherAngebote / 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
Preis
84,00 CHFVerfügbarkeit:
LieferbarArtikel, die Sie kürzlich angesehen haben
Folgt in ca. 5 Arbeitstagen
188,00 CHF