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