Paolo Mancosu: An Introduction to Proof Theory, Gebunden
An Introduction to Proof Theory
Buch
- Normalization, Cut-Elimination, and Consistency Proofs
lieferbar innerhalb 1-2 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 172,39
- Verlag:
- Oxford University Press, 10/2021
- Einband:
- Gebunden
- Sprache:
- Englisch
- ISBN-13:
- 9780192895936
- Artikelnummer:
- 10644130
- Umfang:
- 432 Seiten
- Gewicht:
- 794 g
- Maße:
- 229 x 157 mm
- Stärke:
- 30 mm
- Erscheinungstermin:
- 12.10.2021
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von An Introduction to Proof Theory |
Preis |
|---|
Klappentext
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
Paolo Mancosu, Sergio Galvan, Richard Zach
An Introduction to Proof Theory
Aktueller Preis: EUR 172,39
