Doklady Akademii Nauk, Tome 120 (1958) no. 6, pp. 1210-1213
Citer cet article
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/
@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