Produktbild
George S. Boolos

Computability and Logic

Ebook (EPUB Format)

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the God… Mehr

CHF 38.05

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


  • ISBN: 978-1-107-08650-0
  • EAN: 9781107086500
  • Produktnummer: 23879524
  • Verlag: Cambridge University Press
  • Sprache: Englisch
  • Erscheinungsjahr: 2007
  • Seitenangabe: 0 S.
  • Plattform: EPUB
  • Masse: 8'828 KB

4 weitere Werke von George S. Boolos:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.