El libro está agotado actualmente
Compra de libros
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik, Daniel Korn
- Idioma
- Publicado en
- 1999
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.