Author: SPRINGINTVELD, JOHANNES GERARDUS
Title: Algorithms for Type Theory. Algoritmen voor Typentheorie (met een samenvatting in het Nederlands) Proefschrift. serie: Quaestiones Infinitae; Publications of the department of philosophy. Utrecht University. Volume: XIII
Description: Leiden-Utrecht, Department of Philosophy Zeno. 187 blz. paperback serie: Quaestiones Infinitae; Publications of the Zeno institute of philosophy. Proefschriften

Keywords:


See more books from our catalog: Filosofie