Il libro è attualmente esaurito
Acquisto del libro
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik, Daniel Korn
- Lingua
- Pubblicato
- 1999
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.