Informes

31/05/05 Topos Theory Summer School, Haute Bodeux: Discussions incl. FW Lawvere re. Freyd's natural numbers, arithmetic in topos, "bad infinity" (contd.)

No hay informes relevantes para este ítem