Mathematical Logic in Padua

Events

• Second Workshop On Formal Topology (2WFTop)
  Venice, 4-6 april 2002
  
  • Program
    
    
  • Tutorials
    
    
  • Proceedings
    
  
  
  
• First Workshop on Formal Topology (1WFTop)
  Padua, 2-4 october 1997
  
  
  • Program
  
  
  
• First PV view (1PVview)
  Padua, 15-16 april 1998
  
  
  • Abstracts