
From a Flexible Type System to Metapredicative Wellordering Proofs - Paperback
From a Flexible Type System to Metapredicative Wellordering Proofs - Paperback
$27.48
/

products.product.pickup_availability.unavailable
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
by Florian Ranzi (Author)
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.



















