S. N. Artemov, G. K. Japaridze, “Effective predicate logics of provability”, Dokl. Akad. Nauk SSSR, 1987, Volume 297, Number 3,Pages <nobr>521

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1987 Volume 297, Number 3, Pages 521–523 (Mi dan7887)

MATHEMATICS

Effective predicate logics of provability

S. N. Artemov^a, G. K. Japaridze^b

^a V. A. Steklov Mathematical Institute, USSR Academy of Sciences, Moscow
^b Institute of Philosophy, Academy of Sciences of the GSSR, Tbilisi

UDC: 510.65

Presented: A. N. Kolmogorov
Received: 07.08.1987

English version: Doklady Mathematics, 1988, 36:3, 478–480

Bibliographic databases: