Математическая логика : дополнительные главы : [учебное пособие для студентов математических специальностей вузов] /А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]

Колмогоров, Андрей Николаевич 1903-1987
Публикация
Москва : Едиториал УРСС , 2013
Физическое описание
236, [1] с.: рис., табл.
Издание
Изд. 4-е, обновл.
Другой Автор
Драгалин, Альберт Григорьевич 1941-1998
Минц, Г. Е.
Серия
Классический университетский учебник
Всего оценка: 0
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Читальный зал №5
510 К608
13820000848508
Выдается в читальный зал
Доступно
 
 
 
03534nam a2200649   4500
001
 
 
vtls000458951
003
 
 
RU-ToGU
005
 
 
20131008125700.0
008
 
 
130919s2013    ru a     b    001 0 rus d
020
$a 9785354014460
035
$a to000458951
039
9
$a 201310081257 $b cat31 $c 201309241629 $d cat02 $y 201309191603 $z cat33
040
$a RU-ToGU $b rus $c RU-ToGU $d RU-ToGU $e PSBO
080
$a 510.6(075.8)
084
$a 22.12я73 $2 rubbk
100
1
$a Колмогоров, Андрей Николаевич $d 1903-1987
245
1
0
$a Математическая логика $b дополнительные главы : [учебное пособие для студентов математических специальностей вузов] $c А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]
250
$a Изд. 4-е, обновл.
260
$a Москва $b Едиториал УРСС $c 2013
300
$a 236, [1] с. $b рис., табл.
490
1
$a Классический университетский учебник
504
$a Библиогр.: с. 227-228
504
$a Указатели: с. 229-236
600
1
4
$a Колмогоров, Андрей Николаевич $d 1903-1987
600
1
4
$a Драгалин, Альберт Григорьевич $d 1941-1998
650
7
$a Математическая логика - Учебники и пособия. $2 rurkp
653
$a учебные издания для вузов
653
$a теория множеств
653
$a математические структуры.
653
$a булева алгебра.
653
$a логика высказываний.
653
$a исчисление высказываний.
653
$a логика предикатов.
653
$a логико-математические языки.
653
$a логические законы.
653
$a формулы.
653
$a термы.
653
$a семантика логико-математических языков.
653
$a исчисление предикатов.
653
$a аксиоматические теории.
653
$a теорема о дедукции.
653
$a наивная теория множеств.
653
$a Цермело-Френкеля аксиоматическая теория.
653
$a Тьюринга машины.
653
$a теоремы общей теории алгорифмов.
653
$a теория алгорифмов.
653
$a теория доказательств.
653
$a Геделя теорема о неполноте
653
$a Гильберта программа обоснования математики.
700
1
$a Драгалин, Альберт Григорьевич $d 1941-1998
700
1
$a Минц, Г. Е. $4 edt
830
0
$a Классический университетский учебник
852
4
$a RU-ToGU $h 510 $i К608 $n ru
908
$a учебник
998
1
$a VTLSFF1033 040831    0033
999
$a VIRTUA  
999
$a VTLSSORT0010*0030*0050*0080*0200*0350*0390*0400*0800*0840*1000*2450*2500*2600*3000*4900*5040*5041*6000*6001*6500*6530*6531*6532*6533*6534*6535*6536*6537*6538*6539*65310*65311*65312*65313*65314*65315*65316*65317*65318*65319*65320*65321*65322*7000*7001*8300*8520*9080*9980*9992
Нет комментариев.
Предмет
Колмогоров, Андрей Николаевич 1903-1987
Драгалин, Альберт Григорьевич 1941-1998
Математическая логика - Учебники и пособия.