An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Paolo Mancosu - An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs - Preis vom 23.10.2024 04:52:55 h

29.49 EUR
Preis aktualisiert am: 01-11-2024 04:06:22
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Paolo Mancosu