Martin-Lof Peer

Visualizzazione del risultato

• Esaurito

  

  Intuitionistic Type Theory

  Autore: Martin-Lof Peer

  These lectures were given in Padova at the Laboratorio per continua

  €21.00