Geodesic
Поправки к~статье ``Два варианта классического исчисления предикатов без структурных правил вывода''
Doklady Akademii Nauk, Tome 158 (1964) no. 3.

Voir la notice de l'article provenant de la source Math-Net.Ru

@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} {``{\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}''},
     journal = {Doklady Akademii Nauk},
     pages = {502},
     publisher = {mathdoc},
     volume = {158},
     number = {3},
     year = {1964},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/
%G ru
%F DAN_1964_158_3_a41
V. A. Matulis. Поправки к~статье ``Два варианта классического исчисления предикатов без структурных правил вывода''. Doklady Akademii Nauk, Tome 158 (1964) no. 3. http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/