Autore

Alberto Ciaffaglione

1 libri disponibili per questo autore.

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1
Verifica disponibilità
Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1
Alberto Ciaffaglione
Forum Edizioni
15,00 €
Pagina 1 di 1