%0 Journal Article
%A Dominic J. D. Hughes
%T Proofs without syntax
%J Annals of mathematics
%D 2006
%P 1065-1076
%V 164
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4007/annals.2006.164.1065/
%R 10.4007/annals.2006.164.1065
%G en
%F 10_4007_annals_2006_164_1065