Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
von Paolo Mancosu; Sergio Galvan; Richard Zach
Buch | Softcover
2021 | Oxford University Press
ISBN: 9780192895943
CHF 43,50 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen