Risultato ricerca (Metamathematics)
Proof Assistants and Their Applications in Mathematics and Computer Science
Inglese
01.01.2026
Copertina rigida
CHF 104.00
Avete domande, suggerimenti, elogi o critiche? I vostri commenti ci aiutano a migliorare ulteriormente CeDe.ch. Saremo quindi lieti di ricevere i vostri messaggi e risponderemo con piacere a tutte le e-mail in modo rapido e competente. Grazie mille!
Servizio eccellente e spedizione gratuita dal 1997