Geodesic
Equational Reformulation Of Formal Theories
Publications de l'Institut Mathématique, _N_S_19 (1975) no. 33, p. 131 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

@article{PIM_1975_N_S_19_33_a19,
     author = {Slavi\v{s}a B. Pre\v{s}i\'c},
     title = {Equational {Reformulation} {Of} {Formal} {Theories}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {131 },
     publisher = {mathdoc},
     volume = {_N_S_19},
     number = {33},
     year = {1975},
     url = {http://geodesic.mathdoc.fr/item/PIM_1975_N_S_19_33_a19/}
}
TY  - JOUR
AU  - Slaviša B. Prešić
TI  - Equational Reformulation Of Formal Theories
JO  - Publications de l'Institut Mathématique
PY  - 1975
SP  - 131 
VL  - _N_S_19
IS  - 33
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1975_N_S_19_33_a19/
ID  - PIM_1975_N_S_19_33_a19
ER  - 
%0 Journal Article
%A Slaviša B. Prešić
%T Equational Reformulation Of Formal Theories
%J Publications de l'Institut Mathématique
%D 1975
%P 131 
%V _N_S_19
%N 33
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1975_N_S_19_33_a19/
%F PIM_1975_N_S_19_33_a19
Slaviša B. Prešić. Equational Reformulation Of Formal Theories. Publications de l'Institut Mathématique, _N_S_19 (1975) no. 33, p. 131 . http://geodesic.mathdoc.fr/item/PIM_1975_N_S_19_33_a19/