Produktbild
George Tourlakis

Lectures in Logic and Set Theory

Volume 1, Mathematical Logic

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.