

Gebundenes Buch
Normalization, Cut-Elimination, and Consistency Proofs
1. Oktober 2021
Oxford University Press(UK)
Ähnliche Artikel


eBook, PDF
11. August 2020
Springer Nature Singapore

eBook, PDF
26. September 2019
Springer International Publishing


eBook, PDF
10. September 2012
Springer Netherlands





Ähnlichkeitssuche: Fact®Finder von OMIKRON