Relatórios
04/11/04 3rd Intl. Workshop on History & Philosophy of Logic, Mathematics & Computing, (HPLMC 04), Donostia-San Sebastian: Narciso Martí-Oliet: A gentle introduction to categorical logic (part 1) / Narciso Martí-Oliet: A gentle introduction to categorical logic (part 2)