%0 Journal Article
%A Anders Kock
%T Synthetic Reasoning In Differential Geometry.
%J Revista colombiana de matematicas
%D 1986
%P 129-146
%V 20
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1986__20_3-4_181770/
%F RCM_1986__20_3-4_181770