|
|
|
|
| LEADER |
02609nam a2200481 c 4500 |
| 001 |
vtls000464063 |
| 003 |
RU-ToGU |
| 005 |
20210909180354.0 |
| 008 |
131120s1984 ru ca f b 001 0 rus d |
| 035 |
|
|
|a to000464063
|
| 039 |
|
9 |
|a 201311201537
|c 201311201536
|d cat31
|c 201311201429
|d acqs01
|y 201311201429
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 080 |
|
|
|a 510.51
|
| 100 |
1 |
|
|a Марков, Андрей Андреевич
|c младший
|d 1903-1979
|9 93915
|
| 245 |
1 |
0 |
|a Теория алгорифмов
|c А. А. Марков, Н. М. Нагорный
|
| 260 |
|
|
|a Москва
|b Наука
|c 1984
|9 687664
|
| 300 |
|
|
|a 432 с.
|
| 490 |
1 |
|
|a Математическая логика и основания математики
|
| 504 |
|
|
|a Библиогр.: с. 422-426
|
| 504 |
|
|
|a Указ. имен. и предм.: с. 427 - 432
|
| 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 Нагорный, Николай Макарович.
|9 213550
|
| 830 |
|
0 |
|a Математическая логика и основания математики
|9 54239
|
| 852 |
4 |
|
|a RU-ToGU
|n ru
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=128876
|
| 999 |
|
|
|c 128876
|d 128876
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1554900
|7 0
|9 254673
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2021-04-03
|g 3.30
|l 0
|o 1-554900
|p 13820000855539
|r 2021-04-03
|w 2021-04-03
|y 1
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1577551
|7 0
|9 254674
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2021-04-03
|g 3.30
|l 1
|o 1-577551
|p 13820000852344
|r 2021-06-07
|s 2021-04-10
|w 2021-04-03
|y 4
|
