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

La scienza intuitiva di Spinoza
La scienza intuitiva di Spinoza
Paolo Cristofolini
Disagio dell'estetica (Il)
Disagio dell'estetica (Il)
Jacques Rancière, P. Godani
I vari espedienti mediante i quali le orchidee vengono impollinate dagli insetti
I vari espedienti mediante i quali le or...
Darwin Charles
Idea della scienza nuova
Idea della scienza nuova
L. Amoroso, Giambattista Vico
So quel che senti. Neuroni specchio, arte ed empatia
So quel che senti. Neuroni specchio, art...
Lucia Pizzo Russo
Manuale di meteorologia
Manuale di meteorologia
P. Corazzon, Paolo Corazzon, A. Giuliacci, M. Giuliacci, Mario Giuliacci
Farmacia verde. Manuale di fitoterapia. Conoscere ed utilizzare le piante officinali e le loro proprietà curative
Farmacia verde. Manuale di fitoterapia. ...
Chiereghin Piergiorgio
La chimica in pratica. Esercitazioni e laboratorio
La chimica in pratica. Esercitazioni e l...
Flavia Liuzzi, Alessandra Alagna
Cites. Convenzione sul commercio internazionale di specie di fauna e flora minacciate di estinzione. Manuale teorico pratico
Cites. Convenzione sul commercio interna...
Corbetta Luisa, Corbetta Claudia
Perché la tecnologia ci rende umani (Galápagos)
Perché la tecnologia ci rende umani (Ga...
Gianluca Nicoletti, Moriggi Stefano
La fiasca. Ovvero la parte giusta dell'umanità
La fiasca. Ovvero la parte giusta dell'u...
Renato Papale
Vite pendolari. Ad alta velocità?
Vite pendolari. Ad alta velocità?
Gianni Minghetti

I libri più cercati

Categorie