Libreria Fernandez
Carrello: | Liste dei desideri | Vai alla Cassa
Certified reasoning on real numbers and objects in co-inductive type theory. 1.

Certified reasoning on real numbers and objects in co-inductive type theory. 1.

Prezzo: € 15,00
Aggiungi a lista dei desideri
Prodotto fuori catalogo

Dettagli Libro

Libri che ti potrebbero interessare

Erasmo Gathamelata 1370-1443
Erasmo Gathamelata 1370-1443
Sandro Bassetti
Zungri
Zungri
Pungitore Francesco
Per un istante di luce
Per un istante di luce
Alessia Citti
Scacco di sentinella
Scacco di sentinella
Cesare A., Savoi
Via crucis. Con lo sguardo rivolto a Cristo
Via crucis. Con lo sguardo rivolto a Cri...
Giuseppe Lombardo, Mirella Roccasalva Firenze
Il concerto sotto il muro
Il concerto sotto il muro
Bruno Magliocchetti
Tra cielo, terra e mare
Tra cielo, terra e mare
Livio Di Celalba
«Cu t'alliscia vol'u pilu? Ah si? Acedd'i puddu»
«Cu t'alliscia vol'u pilu? Ah si? Acedd...
Grasso Mario
La vita che verrà. Vol. 2
La vita che verrà. Vol. 2
Nicoletta Scapillato Laugeri
«Click» e navighi con un centauro a bordo dell'arte. Ediz. illustrata
«Click» e navighi con un centauro a bo...
Valeria Tarantino, Gabriella Brasioli
Comarmo
Comarmo
Michele Lazzerini
Primo album da colorare special. Tigro e Winnie the Pooh
Primo album da colorare special. Tigro e...

I libri più cercati

Categorie