Doklady Akademii Nauk, Tome 297 (1987) no. 3, pp. 521-523
Citer cet article
S. N. Artemov; G. K. Japaridze. Effective predicate logics of provability. Doklady Akademii Nauk, Tome 297 (1987) no. 3, pp. 521-523. http://geodesic.mathdoc.fr/item/DAN_1987_297_3_a0/
@article{DAN_1987_297_3_a0,
author = {S. N. Artemov and G. K. Japaridze},
title = {Effective predicate logics of provability},
journal = {Doklady Akademii Nauk},
pages = {521--523},
year = {1987},
volume = {297},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1987_297_3_a0/}
}
TY - JOUR
AU - S. N. Artemov
AU - G. K. Japaridze
TI - Effective predicate logics of provability
JO - Doklady Akademii Nauk
PY - 1987
SP - 521
EP - 523
VL - 297
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1987_297_3_a0/
LA - ru
ID - DAN_1987_297_3_a0
ER -
%0 Journal Article
%A S. N. Artemov
%A G. K. Japaridze
%T Effective predicate logics of provability
%J Doklady Akademii Nauk
%D 1987
%P 521-523
%V 297
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1987_297_3_a0/
%G ru
%F DAN_1987_297_3_a0
