Mathematical Logic in Padua

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