Martin-Lof Peer

Mostra tutti i 1 risultati

• Esaurito

  Intuitionistic Type Theory

  Autore: Martin-Lof Peer

  These lectures were given in Padova at the Laboratorio per continua

  €21.00