Informes

31/03/09 Foundations of Mathematics Workshop, Bristol: Discussion between Anders Kock and FWL on developments in SDG since The fonnulation of the Kock-Lawvere axiom and the definition of the smooth topos.

No hay informes relevantes para este ítem