Milly Maietti



    Official name: Maria Emilia Maietti
    Current position: Academic researcher
    Current address:
    Dipartimento di Matematica Pura ed Applicata
    Università di Padova
    via Trieste n.63 35121 Padova -Italy
    tel. + 39 049 8271478
    fax +39 049 8271499


    e-mail address : lastname @ math.unipd.it
    (substitute "lastname" with "maietti")



Main research interests: Constructive Mathematics, Type theory, Categorical Logic


Padova coordinator of European IRSES project CORCON



AVVISI per STUDENTI di LOGICA 2

scrivetemi per ricevere materiale del corso


AVVISI per STUDENTI di LOGICA

Ricevimento LOGICA
venerdi' 30 gennaio 2015 ore 14.30-16.30 aula 1AD 100 (Torre Archimede)

Esiti positivi V appello

Esiti positivi IV appello

Esiti positivi III appello

Esiti positivi II appello

Esiti positivi I appello

Esiti positivi con compitini

Ammessi al II compitino



Orario Ricevimento Studenti


Materiale del corso di Logica 2014



EVENTS:

2013 Foundation of Mathematics for Computer-Aided Formalization

2012 Fourth Workshop on Formal Topology

2008 Advances in Constructive Topology and Logical Foundations
in honor of the 60th birthday of Giovanni Sambin (+ APAL special issue)