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

Moleskine 12 mesi - 12 Daily Diary - Pocket - Copertina rigida 2012
Moleskine 12 mesi - 12 Daily Diary - Poc...
Moleskine. Calendario da tavolo copertina rigida nera 2012
Moleskine. Calendario da tavolo copertin...
Le petit prince - pocket plain
Le petit prince - pocket plain
Le petit prince - pocket ruled
Le petit prince - pocket ruled
Nixon, Kissinger e il Medio Oriente (1969-1973)
Nixon, Kissinger e il Medio Oriente (196...
Eugenio Colorni e la cultura italiana fra le due guerre
Eugenio Colorni e la cultura italiana fr...
G. Cerchiai, G. Rota
Ecosistemi sotto pressione nel Lazio
Ecosistemi sotto pressione nel Lazio
La novella di Pirandello. Dramma, film, musica, fumetto
La novella di Pirandello. Dramma, film, ...
E. Lauretta
Triplice specchio: l'ago, la penna, il registro di classe. Uno sguardo sul femminile otto/novecentesco
Triplice specchio: l'ago, la penna, il r...
aa.vv.
Anna Bonacci e la drammaturgia sommersa degli anni '30-'50
Anna Bonacci e la drammaturgia sommersa ...
T. Mattioli, A. T. Ossani
Script vol. 32-33: La meglio gioventù.
Script vol. 32-33: La meglio gioventù.
Neuro-oftalmologia clinica
Neuro-oftalmologia clinica
C. Merlin, V. De Vitto

I libri più cercati

Categorie