From a Flexible Type System to Metapredicative Wellordering Proofs
Florian Ranzi
Broschiertes Buch

From a Flexible Type System to Metapredicative Wellordering Proofs

Versandkostenfrei!
Versandfertig in 1-2 Wochen
15,99 €
inkl. MwSt.
PAYBACK Punkte
8 °P sammeln!
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.