Ergebnisse zu
Logik / Mengenlehre

Normalization, Cut-Elimination, and Consistency Proofs
von Paolo Mancosu; Sergio Galvan; Richard Zach
Buch | Softcover
2021 | Oxford University Press
ISBN: 9780192895943
34,25 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-20 Tagen