|
|
|
|
|
00000cam0a2200000 ib4500 |
001 |
BY-NLB-br0000090281 |
005 |
20080318171252.0 |
010 |
# |
# |
$a 5-379-00306-0
|
010 |
# |
# |
$a 978-5-379-00306-7
|
100 |
# |
# |
$a 20070920d2007 k y0rusy50 ca
|
101 |
1 |
# |
$a rus
$c eng
|
102 |
# |
# |
$a RU
|
105 |
# |
# |
$a y z 000yy
|
109 |
# |
# |
$a aa
|
200 |
1 |
# |
$a Введение в математическую философию
$e избранные работы
$e [перевод с английского]
$f Бертран Рассел
$g [вступительная статья В. А. Суровцева, с. 5―20]
|
210 |
# |
# |
$a Новосибирск
$c Сибирское университетское издательство
$d 2007
|
215 |
# |
# |
$a 262, [1] с.
$d 21 см
|
225 |
1 |
# |
$a Пути философии
|
320 |
# |
# |
$a Библиография в подстрочных примечаниях
|
327 |
1 |
# |
$a Содержание: Математическая логика, основанная на теории типов ; Введение в математическую философию
$a В приложении: Расселовская теория типов / В. О. Куайн
$a Расселовская математическая логика / К. Гёдель
|
345 |
# |
# |
$9 1500 экз.
|
606 |
0 |
# |
$3 BY-NLB-ar17284
$a МАТЕМАТИЧЕСКАЯ ЛОГИКА
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar36007
$a ФИЛОСОФСКИЕ ПРОБЛЕМЫ
$2 DVNLB
|
606 |
0 |
# |
$3 BY-NLB-ar2756516
$a ТИПОВ ТЕОРИЯ
$2 DVNLB
|
675 |
# |
# |
$a 510.6
$v 4
$z rus
|
686 |
# |
# |
$a 27.03.19
$2 rugasnti
$v 5
|
700 |
# |
1 |
$3 BY-NLB-ar117895
$a Рассел
$b Б.
$g Бертран
$c философ
$c математик
$f 1872—1970
|
702 |
# |
1 |
$3 BY-SEK-416873
$a Суровцев
$b В. А.
$g Валерий Александрович
$c доктор философских наук
$f род. 1964
$4 080
|
801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20070920
$g psbo
|