Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Proofs and Computations
Sprache
Englisch
Englisch
Buch
Hardcover
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
Vollständige Beschreibung
Libristo-Code: 04449225
?
216 b
216 b
88.19
€
inkl. MwSt.
Externes Lager
Wir versenden in 14-21 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to
Schauspielerin
&
Polyglotte
EWA KASP
für
Video abspielen
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Informationen zum Buch
Vollständiger Name
Proofs and Computations
Autor
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Sprache
Englisch
Englisch
Einband
Buch - Hardcover
Datum der Veröffentlichung
2011
Anzahl der Seiten
480
EAN
9780521517690
ISBN
0521517699
Libristo-Code
04449225
Verlag
Cambridge University Press
Gewicht
884
Abmessungen
233 x 158 x 29
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Hardcover
284.99
€
/
Adobe ePub DRM
9.29
€
/
Broschur
23.19
€