Rapports

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

Il n'y a pas de rapports pertinents pour cet élément