Gå direkte til innholdet
From a Flexible Type System to Metapredicative Wellordering Proofs
Spar

From a Flexible Type System to Metapredicative Wellordering Proofs

Forfatter:
pocket, 2015
Engelsk
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakult t der Universit t Bern.
Forfatter
Florian Ranzi
ISBN
9781326455200
Språk
Engelsk
Vekt
290 gram
Utgivelsesdato
21.10.2015
Forlag
Lulu.com
Antall sider
238