Michael Wright Collection

Showing 2 results

Archival description

Martí-Oliet, Narciso

Print preview

Card view Table view

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)

MWC-MW0001190 · Item

Part of Michael Wright Collection

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)

MWC-MW0001221 · Item

Part of Michael Wright Collection