LEADER 01716nam a2200385 c 4500
001 vtls000550235
003 RU-ToGU
005 20210922071611.0
007 cr
008 161102s1992 lv a fsb 000 0 rus d
020 |a 5796609289 
035 |a (RuMoRKP)ru81-17776 
035 |a (RuMoRGB)001036040 
039 9 |a 201801241156  |c 201612081656  |d cat31  |c 201611091630  |d cat02  |c 201611071107  |d cat06  |y 201611021233  |z Александр Эльверович Гилязов 
040 |a RKP  |b rus  |e PSBO  |d RU-ToGU 
041 0 |a rus 
080 |a 510.6(075.8) 
084 |a 17.2.2  |2 rueskl 
100 1 |a Подниекс, Карлис Мартынович  |d 1948-  |9 101258 
245 1 0 |a Вокруг теоремы Геделя  |h Электронный ресурс  |c К. М. Подниекс 
260 |a Рига  |b Зинатне  |c 1992  |9 701702 
300 |a 1 онлайн-ресурс (179 с.) 
504 |a Библиогр.: с. 176-178 
653 |a математическая логика 
653 |a доказательство теорем 
653 |a Гильберта программа обоснования математики 
653 |a теория множеств аксиоматическая 
653 |a элементарная арифметика 
653 |a Гильберта проблема десятая 
653 |a Геделя теорема о неполноте 
653 |a Рамсея теория 
852 4 |a RU-ToGU  |n ru 
856 7 |u http://sun.tsu.ru/limit/2016/000550235/000550235.pdf 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=365327 
999 |c 365327  |d 365327