Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Lecture Notes in Mathematics. 873
Автор: A. Dold (ed)
Аннотация:
Constructive mathematics is distinguished by the fact that those engaged in it maintain an awareness of their relationship to the objects in the mathematical universe, and are concerned with manipulating those objects rather than merely describing them.