Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
20 век 1 треть
|
Суровцев, Валерий Александрович
|
монографии
Add to Quick Collection
Description
Size
Format
Ф. П. Рамсей и программа логицизма
7 MB
Adobe Acrobat PDF
View Details
Download
Title
Ф. П. Рамсей и программа логицизма
Creator
Суровцев, Валерий Александрович
Contributor
Томский государственный университет
Subject
Рамсей, Фрэнк Пламптон 1903-1930
Витгенштейн, Людвиг 1889-1951
Рассел, Бертран 1872-1970
Вейль, Герман 1885-1955
английская философия
20 век 1 треть
логицизм
аксиома сводимости
предикативные функции
Рамсея теория типов
тождество
определимые классы
экстенсиональные функции
бесконечность
аксиома бесконечности
интуиционизм
Date
2012
Publisher
Томск : Издательство Томского университета
Relationships
Show Relationship Browser for this Object
collection(s)
Философский факультет
Identifier
vtls:000435020
URN:ISBN:9785751120993
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000435020
Type
монографии
Language
rus
3264 Visitors
2461 Hits
906 Downloads
Preview
Философский факультет
Ф. П. Рамсей и программа логицизма
^ DIV >