Informes

30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Example of toposes 1st talk / MW notes re. books / Peter T Johnstone, FW Lawvere, Miles Tierney & Peter Freyd: tutorials & discussions