@article{GAMA_1982_1982_1_a3,
     author = {Bajpai, S. D.},
     title = {What is mathematical proof?},
     journal = {Gaceta matem\'atica},
     pages = {51-53},
     publisher = {mathdoc},
     volume = {34},
     number = {4-5-6},
     year = {1982},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/GAMA_1982_1982_1_a3/}
}