@article{10_4007_annals_2006_164_1065,
     author = {Dominic J. D. Hughes},
     title = {Proofs without syntax},
     journal = {Annals of mathematics},
     pages = {1065--1076},
     publisher = {mathdoc},
     volume = {164},
     number = {3},
     year = {2006},
     doi = {10.4007/annals.2006.164.1065},
     mrnumber = {2259253},
     zbl = {1130.03009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4007/annals.2006.164.1065/}
}