Mathematical Logic in Padua
home
| research areas
home
people
research areas
basic logic
basic picture
formal topology
type theory
temporal logic
research theses
events
contacts
links
Research areas
Basic Logic
Giovanni Sambin
,
Claudia Faggian
,
Damiano Macedonio
,
Giulia Battilotti
Basic Picture
Giovanni Sambin
Formal Topology
Giovanni Sambin
,
Silvio Valentini
,
Milly Maietti
,
Giovanni Curi
,
Giulia Battilotti
, Sara Sadocco, Giorgio Trentinaglia
Type Theory
Giovanni Sambin,
Silvio Valentini
,
Milly Maietti
Temporal Logic
Alberto Zanardo
Philosophy of mathematics
Giovanni Sambin
© 2005 Mathematical Logic in Padua |
info-logic@math.unipd.it