В12 Е804 Ершов, Юрий Леонидович. Определимость и теорема Геделя о неполноте [Текст] : учеб. пособие / Ю. Л. Ершов ; отв. ред. С. С. Гончаров. - Новосибирск : Науч. кн., 1995. - 75 с. - Рубрики: Геделя теорема Дескрипторы: моногр -- уч Доп.точки доступа: Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики) Библиогр.: с. 277-279. - Предм. указ.: с. 281-284 Рубрики: вычислимость в математической логике Геделя теорема Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В12 H80 И-В12 / H80-02 Horsten, Leon. Godel's disjunction : the scope and limits of mathematical knowledge / L. Horsten, P. Welch. - Oxford : Oxford university press, 2016. - X,277 p. - Bibliogr. at the end of the chapters. - Ind.: p. 273-277 Перевод заглавия: Дизъюнкция Геделя : пределы математических знаний
Рубрики: Геделя теорема Перейти: Оглавление Доп.точки доступа: Welch, Philip Экземпляры всего: 1 02 (1) Свободны: 02 (1) |