TY  - SER
AU  - Суровцев,Валерий Александрович
AU  - Габрусенко,Кирилл Александрович
ED  - Томский государственный университет
ED  - Томский государственный университет
TI  - Критика Ф. П. Рамсеем формализма и интуиционизма в основаниях математики
KW  - Рамсей, Фрэнк Пламптон
KW  - формализм
KW  - интуиционизм
KW  - законы логики
KW  - математика
KW  - статьи в журналах
N1  - Библиогр.: 7 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000495896
ER  -