Conference on Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic (1971 : Halifax, Nova Scotia) Bezüge im Wissensnetz Veranstaltungsort (1) GND Halifax (Nova Scotia)