George Boolos: Computability and Logic

George Boolos: Computability and Logic

• Produktinfo

George Boolos
John P. Burgess
Richard C. Jeffrey

Computability and Logic

• Buch
• Erscheinungstermin: 29.11.2007
• Verfügbarkeit: lieferbar innerhalb 1-2 Wochen
  (soweit verfügbar beim Lieferanten) 

Detailinformationen

• Label: CAMBRIDGE UNIV PR
• Einband: Kartoniert / Broschiert
• Sprache: Englisch
• ISBN-13: 9780521701464
• Bestellnummer: 5592275
• Autor: George Boolos, John P. Burgess, Richard C. Jeffrey
• Umfang: 350 Seiten
• Nummer der Auflage: 5
• Gewicht: 653 g
• Maße: 253 x 180 mm
• Stärke: 19 mm

Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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, but also a large number of optional topics, from TuringâEUR(TM)s theory of computability to RamseyâEUR(TM)s theorem.