|
|
|
|
| LEADER |
03615nam a2200649 4500 |
| 001 |
vtls000458951 |
| 003 |
RU-ToGU |
| 005 |
20220714114210.0 |
| 008 |
130919s2013 ru a b 001 0 rus d |
| 020 |
|
|
|a 9785354014460
|
| 035 |
|
|
|a to000458951
|
| 039 |
|
9 |
|a 201310081257
|b 21
|c 201309241629
|d cat02
|y 201309191603
|z Александр Эльверович Гилязов
|
| 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
|9 65705
|
| 245 |
1 |
0 |
|a Математическая логика
|b дополнительные главы : [учебное пособие для студентов математических специальностей вузов]
|c А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]
|
| 250 |
|
|
|a Изд. 4-е, обновл.
|
| 260 |
|
|
|a Москва
|b Едиториал УРСС
|c 2013
|9 689931
|
| 300 |
|
|
|a 236, [1] с.
|b рис., табл.
|
| 490 |
1 |
|
|a Классический университетский учебник
|
| 504 |
|
|
|a Библиогр.: с. 227-228
|
| 504 |
|
|
|a Указатели: с. 229-236
|
| 600 |
1 |
4 |
|a Колмогоров, Андрей Николаевич
|d 1903-1987
|9 65705
|
| 600 |
1 |
4 |
|a Драгалин, Альберт Григорьевич
|d 1941-1998
|9 93662
|
| 650 |
|
7 |
|a Математическая логика - Учебники и пособия.
|2 rurkp
|9 183804
|
| 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
|9 93662
|
| 700 |
1 |
|
|a Минц, Г. Е.
|4 edt
|9 233611
|
| 830 |
|
0 |
|a Классический университетский учебник
|9 74204
|
| 852 |
4 |
|
|a RU-ToGU
|h 510
|i К608
|n ru
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=340615
|
| 908 |
|
|
|a учебник
|
| 999 |
|
|
|c 340615
|d 340615
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 510_К608
|7 0
|9 580582
|a RU-ToGU
|b RU-ToGU
|c 10005
|d 2021-04-04
|g 269.00
|l 0
|o 510 К608
|p 13820000848508
|r 2023-08-04
|w 2021-04-04
|y 9
|
