From a Flexible Type System to Metapredicative Wellordering Proofs

Regular price: $31.54
Sale price: $31.54
Regular price: ~~$46.54~~
Unit price: per

Shipping calculated at checkout.

Florian Ranzi

Quantity must be 1 or more

Inauguraldissertation an der Philosophisch-naturwissenschaftlichen FakultŠt der UniversitŠt Bern.