Geodesic
Un sistema de reglas para el cálculo proposicional.
Gaceta matemática, Tome 28 (1976) no. 3-4 
Fartos Martínez, M. . Un sistema de reglas para el cálculo proposicional.. Gaceta matemática, Tome 28 (1976) no. 3-4. http://geodesic.mathdoc.fr/item/GAMA_1976_1976_1_a4/
@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},
     year = {1976},
     volume = {28},
     number = {3-4},
     language = {es},
     url = {http://geodesic.mathdoc.fr/item/GAMA_1976_1976_1_a4/}
}
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
UR  - http://geodesic.mathdoc.fr/item/GAMA_1976_1976_1_a4/
LA  - es
ID  - GAMA_1976_1976_1_a4
ER  - 
%0 Journal Article
%A Fartos Martínez, M. 
%T Un sistema de reglas para el cálculo proposicional.
%J Gaceta matemática
%D 1976
%P 43-47
%V 28
%N 3-4
%U http://geodesic.mathdoc.fr/item/GAMA_1976_1976_1_a4/
%G es
%F GAMA_1976_1976_1_a4

Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas