TY  - BOOK
AU  - Суровцев,Валерий Александрович
ED  - Томский государственный университет.
TI  - Ф. П. Рамсей и программа логицизма
SN  - 9785751120993
PY  - 2012///
CY  - Томск
PB  - Издательство Томского университета
KW  - Рамсей, Фрэнк Пламптон
KW  - Витгенштейн, Людвиг
KW  - Рассел, Бертран
KW  - Вейль, Герман
KW  - английская философия
KW  - 20 век 1 треть
KW  - логицизм
KW  - аксиома сводимости
KW  - предикативные функции
KW  - Рамсея теория типов
KW  - тождество
KW  - определимые классы
KW  - экстенсиональные функции
KW  - бесконечность
KW  - аксиома бесконечности
KW  - интуиционизм
KW  - монографии
N1  - Библиогр.: с. 153 - 256 и в подстроч. примеч
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000435020
ER  -