Publications de l'Institut Mathématique, _N_S_19 (1975) no. 33, p. 131
Citer cet article
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/
@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 },
year = {1975},
volume = {_N_S_19},
number = {33},
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
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
%U http://geodesic.mathdoc.fr/item/PIM_1975_N_S_19_33_a19/
%F PIM_1975_N_S_19_33_a19
