From a Flexible Type System to Metapredicative Wellordering Proofs - Couverture souple

Ranzi, Florian

 
9781326455200: From a Flexible Type System to Metapredicative Wellordering Proofs

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.