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

Колмогоров, Андрей Николаевич 1903-1987
Публикация
М. : Едиториал УРСС , 2004
Физическое описание
238, [2] с.: рис., табл.
Другой Автор
Драгалин, Альберт Григорьевич 1941-1998
Серия
Классический университетский учебник
Всего оценка: 0
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Читальный зал №5
510 К608
13820000451121
1 день
Доступно
Книгохранилище
1-912686к 51
13820000451122
1 неделя
Доступно
 
 
 
02691nam a2200553   4500
001
 
 
vtls000187830
003
 
 
RU-ToGU
005
 
 
20120827040000.0
008
 
 
120827s2004    ru a   | bi   001 0 rus d
020
$a 535400389X
035
$a 0192-77060
039
9
$a 201208270400 $b VLOAD $y 200511081101 $z VLOAD
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 А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова
260
$a М. $b Едиториал УРСС $c 2004
300
$a 238, [2] с. $b рис., табл.
490
1
0
$a Классический университетский учебник
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
830
#
$a Классический университетский учебник
852
4
$a RU-ToGU $h 510 $i К608 $n ru
908
$a учебник
998
1
$a VTLSFF1033 040831    0033
Нет комментариев.
Предмет
Математическая логика - Учебники и пособия.