Items related to From a Flexible Type System to Metapredicative Wellordering...

From a Flexible Type System to Metapredicative Wellordering Proofs - Softcover

Ranzi, Florian

 
9781326455200: From a Flexible Type System to Metapredicative Wellordering Proofs

Synopsis

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

"synopsis" may belong to another edition of this title.