Martin-Lof Peer
Mostra tutti i 1 risultati
-
Esaurito
Per saperne di piùQuick View€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
Mostra tutti i 1 risultati
Esaurito
These lectures were given in Padova at the Laboratorio per continua