TY - BOOK AU - Heyting A AU - Brouwer L E J TI - Collected works: Geometry, analysis, topology and mechanics U1 - 510 PY - 1976/// CY - Amsterdam PB - North-Holland KW - Geometry KW - Topology ER -