B. Ya. Falevich, “A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of interrelation between classical and constructive analyses”, Dokl. Akad. Nauk SSSR, 1958, Volume 120, Number 6,Pages <nobr>1210

MATHEMATICS

A new method of proving incompleteness theorems for systems with Carnap rule, and its application to the problem of interrelation between classical and constructive analyses

B. Ya. Falevich

Rybinsk Evening Aviation Technological Institute

Presented: P. S. Aleksandrov
Received: 25.12.1957