@article{GAMA_1976_1976_1_a4,
     author = {Fartos Mart{\'\i}nez, M. },
     title = {Un sistema de reglas para el c\'alculo proposicional.},
     journal = {Gaceta matem\'atica},
     pages = {43-47},
     publisher = {mathdoc},
     volume = {28},
     number = {3-4},
     year = {1976},
     language = {es},
     url = {http://geodesic.mathdoc.fr/item/GAMA_1976_1976_1_a4/}
}