@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}, publisher = {mathdoc}, volume = {120}, number = {6}, year = {1958}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1958_120_6_a11/} }