History and philosophy of constructive type theory
- ISBN
- 9789048154036
History and philosophy of constructive type theory è un type theory, mathematics, philosophy book di Giovanni Sommaruga.
Scopri History and philosophy of constructive type theory di Giovanni Sommaruga, type theory.
Sull'Autore
è l'autore di History and philosophy of constructive type theory. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Giovanni Sommaruga →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è History and philosophy of constructive type theory?+
History and philosophy of constructive type theory è un libro di Type theory, Mathematics, philosophy.
Chi ha scritto History and philosophy of constructive type theory?+
History and philosophy of constructive type theory è stato scritto da Giovanni Sommaruga.