TY - JOUR AU - Anders Kock TI - Synthetic Reasoning In Differential Geometry. JO - Revista colombiana de matematicas PY - 1986 SP - 129 EP - 146 VL - 20 IS - 3-4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RCM_1986__20_3-4_181770/ ID - RCM_1986__20_3-4_181770 ER -