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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1958_120_6_a11/
LA  - ru
ID  - DAN_1958_120_6_a11
ER  -