Algorithms for type theory - Johannes Gerardus Springintveld | gedrukt boek

Ga direct naar de inhoud, het zoekveld of het hoofdmenu.

Uitgever: Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht
Verschenen: 1995
ISBN: 9039306788
Kenmerken: 187 pagina's
Aantekening: Proefschrift Universiteit Utrecht; Met lit.opg., index en een samenvatting in het Nederlands; Auteursnaam op omslag: Jan Springintveld. - Op titelblad in promotiedatum staat abusievelijk 1994

Je leent dit boek bij je eigen Bibliotheek. Vul de vier cijfers van je postcode in en vind je Bibliotheek.

Johannes Gerardus Springintveld Algorithms for type theory