
Beschreibung
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs von Mancosu, Paolo im Online-Buchhandel:

Bewerte das Buch
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste