|
|
|
|
LEADER |
01739nab a2200313 4500 |
001 |
vtls000461020 |
003 |
RU-ToGU |
005 |
20230319193542.0 |
007 |
cr | |
008 |
170612s2010 ru fs rus d |
035 |
|
|
|a to000461020
|
039 |
|
9 |
|a 201706122211
|c 201310151041
|d VLOAD
|c 201310150830
|d cat202
|y 201310141848
|z Александр Эльверович Гилязов
|
040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
100 |
1 |
|
|a Зюзьков, Валентин Михайлович
|9 68848
|
245 |
1 |
0 |
|a Неразрешимые косвенно рефлексивные предложения
|c В. М. Зюзьков
|
504 |
|
|
|a Библиогр.: 3 назв.
|
653 |
|
|
|a формальная арифметика
|
653 |
|
|
|a диагонализация
|
653 |
|
|
|a косвенная рефлексия
|
653 |
|
|
|a неразрешимые предложения
|
653 |
|
|
|a парадоксы
|
655 |
|
4 |
|a статьи в журналах
|9 879358
|
710 |
2 |
|
|a Томский государственный университет
|b Механико-математический факультет
|b Кафедра вычислительной математики и компьютерного моделирования
|9 81066
|
773 |
0 |
|
|t Вестник Томского государственного университета. Математика и механика
|d 2010
|g № 1. С. 21-33
|x 1998-8621
|w 0210-41660
|
852 |
4 |
|
|a RU-ToGU
|
856 |
7 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000461020
|
856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=342246
|
908 |
|
|
|a статья
|
999 |
|
|
|c 342246
|d 342246
|