Doklady Akademii Nauk, Tome 158 (1964) no. 3
Citer cet article
V. A. Matulis. Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода”. Doklady Akademii Nauk, Tome 158 (1964) no. 3. http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/
@article{DAN_1964_158_3_a41,
author = {V. A. Matulis},
title = {{\CYRP}{\cyro}{\cyrp}{\cyrr}{\cyra}{\cyrv}{\cyrk}{\cyri} {\cyrk}~{\cyrs}{\cyrt}{\cyra}{\cyrt}{\cyrsftsn}{\cyre} {{\textquotedblleft}{\CYRD}{\cyrv}{\cyra}} {\cyrv}{\cyra}{\cyrr}{\cyri}{\cyra}{\cyrn}{\cyrt}{\cyra} {\cyrk}{\cyrl}{\cyra}{\cyrs}{\cyrs}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyro}{\cyrg}{\cyro} {\cyri}{\cyrs}{\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrya} {\cyrp}{\cyrr}{\cyre}{\cyrd}{\cyri}{\cyrk}{\cyra}{\cyrt}{\cyro}{\cyrv} {\cyrb}{\cyre}{\cyrz} {\cyrs}{\cyrt}{\cyrr}{\cyru}{\cyrk}{\cyrt}{\cyru}{\cyrr}{\cyrn}{\cyrery}{\cyrh} {\cyrp}{\cyrr}{\cyra}{\cyrv}{\cyri}{\cyrl} {\cyrv}{\cyrery}{\cyrv}{\cyro}{\cyrd}{\cyra}{\textquotedblright}},
journal = {Doklady Akademii Nauk},
pages = {502},
year = {1964},
volume = {158},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/}
}
TY - JOUR
AU - V. A. Matulis
TI - Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода”
JO - Doklady Akademii Nauk
PY - 1964
SP - 502
VL - 158
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/
LA - ru
ID - DAN_1964_158_3_a41
ER -
%0 Journal Article
%A V. A. Matulis
%T Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода”
%J Doklady Akademii Nauk
%D 1964
%P 502
%V 158
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/
%G ru
%F DAN_1964_158_3_a41
