From a Flexible Type System to Metapredicative Wellordering Proofs - Softcover

Ranzi, Florian

 
9781326455200: From a Flexible Type System to Metapredicative Wellordering Proofs

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.