Relatórios
19/06/89 Workshop on foundations of mathematics, Cambridge: FW Lawvere: Foundations as a branch of mathematics; the topos of Cantorian Kardinale as a basis for pedagogy and the topos of differentiable Mengen as a basis for geometry (contd.)