Libro acquistabile con carte di credito e carte prepagate Postepay.
Libro acquistabile con Carta Docente.
Libro acquistabile con Carta Cultura Giovani e Carta del Merito.
Libro acquistabile in tre rate mensili Klarna.
Il costo del libro sarà addebitato solo all’avvio della consegna.
Scegli il punto di ritiro dei libri più comodo.
Certified reasoning on real numbers and objects in co-inductive type theory
Riferimento: 9788884201508
Editore: Forum Edizioni
Autore: Alberto Ciaffaglione Collana: Phd thesis series Pagine: 162 Formato: Libro in brossura Data pubblicazione: 01 Gennaio 2003 EAN: 9788884201508
Autore: Alberto Ciaffaglione Collana: Phd thesis series Pagine: 162 Formato: Libro in brossura Data pubblicazione: 01 Gennaio 2003 EAN: 9788884201508
15,00 €
IVA inclusa