Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (1988), pp. 84-86
Citer cet article
G. E. Puninskii. Multitrees. Model completeness and decidability. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (1988), pp. 84-86. http://geodesic.mathdoc.fr/item/VMUMM_1988_1_a23/
@article{VMUMM_1988_1_a23,
author = {G. E. Puninskii},
title = {Multitrees. {Model} completeness and decidability},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {84--86},
year = {1988},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_1988_1_a23/}
}
TY - JOUR
AU - G. E. Puninskii
TI - Multitrees. Model completeness and decidability
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 1988
SP - 84
EP - 86
IS - 1
UR - http://geodesic.mathdoc.fr/item/VMUMM_1988_1_a23/
LA - ru
ID - VMUMM_1988_1_a23
ER -
%0 Journal Article
%A G. E. Puninskii
%T Multitrees. Model completeness and decidability
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1988
%P 84-86
%N 1
%U http://geodesic.mathdoc.fr/item/VMUMM_1988_1_a23/
%G ru
%F VMUMM_1988_1_a23
