Geodesic
A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of
Doklady Akademii Nauk, Tome 120 (1958) no. 6, pp. 1210-1213 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{DAN_1958_120_6_a11,
     author = {B. Ya. Falevich},
     title = {A new method of proving incompleteness theorems for systems with {Carnap} rule, and its application to the problem of},
     journal = {Doklady Akademii Nauk},
     pages = {1210--1213},
     year = {1958},
     volume = {120},
     number = {6},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1958_120_6_a11/}
}
TY  - JOUR
AU  - B. Ya. Falevich
TI  - A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of
JO  - Doklady Akademii Nauk
PY  - 1958
SP  - 1210
EP  - 1213
VL  - 120
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/DAN_1958_120_6_a11/
LA  - ru
ID  - DAN_1958_120_6_a11
ER  - 
%0 Journal Article
%A B. Ya. Falevich
%T A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of
%J Doklady Akademii Nauk
%D 1958
%P 1210-1213
%V 120
%N 6
%U http://geodesic.mathdoc.fr/item/DAN_1958_120_6_a11/
%G ru
%F DAN_1958_120_6_a11
B. Ya. Falevich. A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of. Doklady Akademii Nauk, Tome 120 (1958) no. 6, pp. 1210-1213. http://geodesic.mathdoc.fr/item/DAN_1958_120_6_a11/