Siirry suoraan sisältöön
From a Flexible Type System to Metapredicative Wellordering Proofs
Tallenna

From a Flexible Type System to Metapredicative Wellordering Proofs

Kirjailija:
pokkari, 2015
englanti
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakult t der Universit t Bern.
Kirjailija
Florian Ranzi
ISBN
9781326455200
Kieli
englanti
Paino
290 grammaa
Julkaisupäivä
21.10.2015
Kustantaja
Lulu.com
Sivumäärä
238