libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Boulton Richard J. (Curatore); Jackson Paul B. (Curatore) - Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

;
Editore: Springer