L.E.J. Brouwer and A. Heyting on foundational labels: their creation and use

Miriam Franchella partecipa al convegno triennale AILA, Associazione Italiana Logica e sue Applicazioni, che avrà luogo nell'Orto Botanico di Padova dal 25 al 28 di settembre. Titolo della relazione, presentata il giorno 25 settembre: L.E.J. Brouwer and A. Heyting on foundational labels: their creation and use.
AILA 2017
XXVI incontro dell'Associazione Italiana Logica e sue Applicazioni
Padova, Orto Botanico, 25-28 Settembre 2017
25 settembre 2017
Collegamenti