logic

But now we turn out attention to another aspect of the matter, namely to the practical consequences which are caused by the use of the complete range of logical methods of classical logic.

Но сейчас обратим внимание на другую сторону дела, а именно, на те практические последствия, которые вызывает использование в полном объеме логических средств классической логики.

Sanin, A. / Constructive real numbers and constructive function spacesШанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society