Vai al contenuto della pagina
EN
Login
Registrati
0
0
Ricerca avanzata
Home
Catalogo
Diritto, Economia e Politica
Economia
Politica e attualità
Diritto
Scienze Umane
Psicologia
Pedagogia
Comunicazione
Sociologia
Scienze
Ecologia
Antropologia
Storia, Religione e Filosofia
Storia
Filosofia
Religione
Letteratura e Arte
Critica letteraria e Linguistica
Editoria
Arte
Narrativa
Narrativa contemporanea
Gialli e Fantasy
Classici
Poesia
Teatro
Ragazzi
Letteratura per ragazzi
Parascolastica
Giochi educativi
Viaggi e Tempo libero
Guide
Milano
Brescia
Cucina
Sport
Natura
Merchandising
Felpe
Magliette
Giacche e cappelli
Zaini e shopper
Oggettistica
Cancelleria
Adozioni
Economia
Giurisprudenza
Lettere e Filosofia
Psicologia
Scienze Bancarie, Finanziarie e Assicurative
Scienze della Formazione
Scienze Linguistiche e Letterature Straniere
Scienze Matematiche, Fisiche e Naturali
Scienze Politiche e Sociali
Interfacoltà Economia - Lettere
Interfacoltà Economia - Scienze Bancarie
Interfacoltà Lettere - Economia - Sociologia
Interfacoltà Lettere - Scienze della Formazione
Interfacoltà Scienze della Formazione - Medicina
Interfacoltà Scienze Linguistiche - Scienze Politiche
Corsi di Teologia
Istituto Superiore di Scienze Religiose
SELDA - Servizio linguistico di Ateneo
Pubblicazioni VP
Il Blog
La libreria
Contattaci
Chi siamo
Dove siamo
Orientarsi nella libreria di Milano
Orientarsi nella libreria di Brescia
English
Login
Registrati
EN
Home
Catalogo
Diritto, Economia e Politica
Economia
Politica e attualità
Diritto
Scienze Umane
Psicologia
Pedagogia
Comunicazione
Sociologia
Scienze
Ecologia
Antropologia
Storia, Religione e Filosofia
Storia
Filosofia
Religione
Letteratura e Arte
Critica letteraria e Linguistica
Editoria
Arte
Narrativa
Narrativa contemporanea
Gialli e Fantasy
Classici
Poesia
Teatro
Ragazzi
Letteratura per ragazzi
Parascolastica
Giochi educativi
Viaggi e Tempo libero
Guide
Milano
Brescia
Cucina
Sport
Natura
Merchandising
Felpe
Magliette
Giacche e cappelli
Zaini e shopper
Oggettistica
Cancelleria
Adozioni
Economia
Giurisprudenza
Lettere e Filosofia
Psicologia
Scienze Bancarie, Finanziarie e Assicurative
Scienze della Formazione
Scienze Linguistiche e Letterature Straniere
Scienze Matematiche, Fisiche e Naturali
Scienze Politiche e Sociali
Interfacoltà Economia - Lettere
Interfacoltà Economia - Scienze Bancarie
Interfacoltà Lettere - Economia - Sociologia
Interfacoltà Lettere - Scienze della Formazione
Interfacoltà Scienze della Formazione - Medicina
Interfacoltà Scienze Linguistiche - Scienze Politiche
Corsi di Teologia
Istituto Superiore di Scienze Religiose
SELDA - Servizio linguistico di Ateneo
Pubblicazioni VP
Il Blog
La libreria
Contattaci
Chi siamo
Dove siamo
Orientarsi nella libreria di Milano
Orientarsi nella libreria di Brescia
0
Home
Libri di Ciaffaglione Alberto
Libri di Ciaffaglione Alberto
Certified reasoning on real numbers and objects in co-inductive type theory
Vol. 1
di
Ciaffaglione Alberto
editore: Forum Edizioni
pagine: 162
Contattaci
15,00 €
Il prodotto selezionato è di difficile reperibilità, per avere informazioni dettagliate inviaci la tua richiesta
Tua e-mail *
Telefono
Oggetto *
Messaggio *
Invia
Il prodotto selezionato è di difficile reperibilità, per avere informazioni dettagliate inviaci la tua richiesta
Tua e-mail *
Telefono
Oggetto *
Messaggio *
Invia
Inviaci la tua richiesta
Tua e-mail *
Oggetto *
Messaggio *
Invia
AFFINA LA RICERCA
Caricamento in corso...
Il tuo browser non supporta JavaScript!
Accedi all'area riservata
Nome Utente / Email
Password
Rimani collegato
Password dimenticata?
Entra
Sei nuovo su
Librerie Università Cattolica del Sacro Cuore
?
Registrati ora
Fai parte della Comunità Universitaria?
Utilizza le tue credenziali di Ateneo per accedere al sito e usufruire delle condizioni a te dedicate.
Accedi da qui
Password dimenticata?
Inserisci il tuo indirizzo email e ti invieremo le istruzioni per reimpostare la password
Email
Torna alla Login
Richiedi
Inserire il codice per il download.
Invia
Chiudi
Inserire il codice per attivare il servizio.
Invia
Chiudi
Il tuo browser non supporta JavaScript!
Attenzione, controllare i dati.
Chiudi
