English  Français  Nederlands 

HENDRIKS. ROGER DIMITRI ALEXANDER. - 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

Leiden-Utrecht, Zeno. 95 blz. paperback serie: Quaestiones Infinitae; Publications of the department of philosophy, Utrecht university. Proefschriften
EUR 10.00 | CHF 10] Buchzahl 56446

wird angeboten von:


Kool Boeken
Pampagras 150, 3902 SV Veenendaal, The Netherlands Tel.: +31 (0)318 57 42 90 | Fax: +31 (0)318 57 32 21
Email: info@koolboeken.nl




  Dieses Buch bestellen?

Bitte um Informationen

Zurück zu Ihre Suchergeschichte