Gå direkt till innehållet
From a Flexible Type System to Metapredicative Wellordering Proofs
Spara

From a Flexible Type System to Metapredicative Wellordering Proofs

Författare:
pocket, 2015
Engelska
Lägsta pris på PriceRunner
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakult t der Universit t Bern.
Författare
Florian Ranzi
ISBN
9781326455200
Språk
Engelska
Vikt
290 gram
Utgivningsdatum
2015-10-21
Förlag
Lulu.com
Sidor
238