Опис документа

Зведений каталог бібліотек Києва

Опис документа

51
Shan Shankar, N.
Metamathematics, machines, and Godel's proof [Текст] / N. Shankar. — Cambridge : Cambridge Univ. Press, 1994. — 202 p.

- Ключові слова:

метаматематика, metamathematics ; теорема Геделя, Godel"s theorem ; математична логіка, математическая логика

- Теми документа

ББК науковий // Логіка
ББК науковий // Основи математики та математична логіка

Наявність

Установа Кількість Документ на сайті установи

Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 1 Перейти на сайт