Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (1997), pp. 53-55
Citer cet article
E. E. Zolin. The Craig interpolation property in logics of proofs with a strong provability operator. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (1997), pp. 53-55. http://geodesic.mathdoc.fr/item/VMUMM_1997_4_a16/
@article{VMUMM_1997_4_a16,
author = {E. E. Zolin},
title = {The {Craig} interpolation property in logics of proofs with a strong provability operator},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {53--55},
year = {1997},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_1997_4_a16/}
}
TY - JOUR
AU - E. E. Zolin
TI - The Craig interpolation property in logics of proofs with a strong provability operator
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 1997
SP - 53
EP - 55
IS - 4
UR - http://geodesic.mathdoc.fr/item/VMUMM_1997_4_a16/
LA - ru
ID - VMUMM_1997_4_a16
ER -
%0 Journal Article
%A E. E. Zolin
%T The Craig interpolation property in logics of proofs with a strong provability operator
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1997
%P 53-55
%N 4
%U http://geodesic.mathdoc.fr/item/VMUMM_1997_4_a16/
%G ru
%F VMUMM_1997_4_a16
