Ф. П. Рамсей и программа логицизма /В. А. Суровцев ; Том. гос. ун-т

Суровцев, Валерий Александрович
Публикация
Томск : Издательство Томского университета , 2012
Физическое описание
256 с.:
Электронный ресурс
Всего оценка: 0
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Читальный зал №4
Ю3(4ВЕЛ) С902
13820000821459
1 день
Доступно
Книгохранилище
2-007894к
13820000821458
1 неделя
Доступно
 
 
 
01942nam a2200457 i 4500
001
 
 
vtls000435020
003
 
 
RU-ToGU
005
 
 
20140825162100.0
007
 
 
cr |
008
 
 
140825s2012    ru     fsb    000 0 rus d
020
$a 9785751120993
035
$a to000435020
039
9
$a 201408251621 $b VLOAD $c 201408251427 $d VLOAD $c 201211062017 $d cat06 $y 201210151016 $z acqs01
040
$a RU-ToGU $b rus $c RU-ToGU
084
$a Ю3(4ВЕЛ)6-671.1 $2 rubbk
100
1
$a Суровцев, Валерий Александрович
245
1
0
$a Ф. П. Рамсей и программа логицизма $c В. А. Суровцев ; Том. гос. ун-т
260
$a Томск $b Издательство Томского университета $c 2012
300
$a 256 с.
504
$a Библиогр.: с. 153 - 256 и в подстроч. примеч.
600
1
4
$a Рамсей, Фрэнк Пламптон $d 1903-1930
600
1
4
$a Витгенштейн, Людвиг $d 1889-1951
600
1
4
$a Рассел, Бертран $d 1872-1970
600
1
4
$a Вейль, Герман $d 1885-1955
653
$a английская философия
653
$a 20 век 1 треть.
653
$a логицизм
653
$a аксиома сводимости
653
$a предикативные функции
653
$a Рамсея теория типов
653
$a тождество.
653
$a определимые классы
653
$a экстенсиональные функции
653
$a бесконечность.
653
$a аксиома бесконечности.
653
$a интуиционизм.
655
4
$a монографии
710
2
$a Томский государственный университет.
852
4
$a RU-ToGU $h Ю3(4ВЕЛ) $i С902 $n ru
856
7
$u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000435020
999
$a VIRTUA  
Нет комментариев.
Предмет
Рамсей, Фрэнк Пламптон 1903-1930
Витгенштейн, Людвиг 1889-1951
Рассел, Бертран 1872-1970
Вейль, Герман 1885-1955
монографии