@article{urn:eudml:doc:43529,
title = {Un sistema de reglas para el c\'alculo proposicional.},
journal = {Gaceta Matem\'atica},
volume = {28},
year = {1976},
pages = {43-47},
language = {es},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:43529}
}
Fartos Martínez, M. Un sistema de reglas para el cálculo proposicional.. Gaceta Matemática, Tome 28 (1976) pp. 43-47. http://gdmltest.u-ga.fr/item/urn:eudml:doc:43529/