Author: HENDRIKS. ROGER DIMITRI ALEXANDER. Title: Metamathematics in Coq. Metamathematica in Coq (met een samenvatting in het Nederlands). Proefschrift. serie: Quaestiones Infinitae; Publications of the department of philosophy, Utrecht university. Volume: XLIV
Description: Leiden-Utrecht, Zeno. 95 blz. paperback serie: Quaestiones Infinitae; Publications of the department of philosophy, Utrecht university. Proefschriften
Keywords:
Price: EUR 10.00 = appr. US$ 10.87 Seller: Kool Boeken
- Book number: 56446
See more books from our catalog:
Filosofie