TY  - JOUR
AU  - Fartos Martínez, M. 
TI  - Un sistema de reglas para el cálculo proposicional.
JO  - Gaceta matemática
PY  - 1976
SP  - 43
EP  - 47
VL  - 28
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/GAMA_1976_1976_1_a4/
LA  - es
ID  - GAMA_1976_1976_1_a4
ER  -