Relatórios

13/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Angus Macintyre: Significance of geometric perspective on structures in logic & connections between structures in geometry and logic