Martin-Lof Peer
Visualizzazione del risultato
-
Esaurito
Leggi tuttoQuick ViewIntuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
Visualizzazione del risultato
These lectures were given in Padova at the Laboratorio per continua
©2023 BIBLIOPOLIS – Edizioni di Filosofia e Scienze