Het boek is momenteel niet op voorraad
Een boek kopen
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik, Daniel Korn
- Taal
- Jaar van publicatie
- 1999
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.