From a Flexible Type System to Metapredicative Wellordering Proofs

From a Flexible Type System to Metapredicative Wellordering Proofs

Regular price
$31.54
Sale price
$31.54
Regular price
$46.54
Sold out
Unit price
per 
Shipping calculated at checkout.

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