Вокруг теоремы Геделя

Вокруг теоремы Геделя

Bibliographic Details
Main Author: Подниекс, Карлис Мартынович 1948-
Format: eBook
Language:Russian
Published: Рига Зинатне 1992
Subjects:
математическая логика
доказательство теорем
Гильберта программа обоснования математики
теория множеств аксиоматическая
элементарная арифметика
Гильберта проблема десятая
Геделя теорема о неполноте
Рамсея теория
Online Access:http://sun.tsu.ru/limit/2016/000550235/000550235.pdf
Перейти в каталог НБ ТГУ

Internet

http://sun.tsu.ru/limit/2016/000550235/000550235.pdf
Перейти в каталог НБ ТГУ

Similar Items