Ваш поиск дал 6 результатов.

Результаты поиска
			КнигаДесятая проблема Гильберта / Ю. В. Матиясевич Матиясевич, Юрий Владимирович 1993 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51 / М 34. Онлайн заказ Добавить в подборку (удалить)
			КнигаСтепени неразрешимости / Дж. Шенфилд ; пер. с англ. И. А. Лаврова ; под ред. Ю. Л. Ершова Шенфилд, Джозеф 1977 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 518.712 / Ш 47. Онлайн заказ Добавить в подборку (удалить)
			КнигаГильберт Д. Основания математики. Логические исчисления и формализация арифметики / Гильберт Д., Бернайс П.; Нагорный Н М. (пер. с нем.), Адян С И. (ред.), 1979 Гильберт, Д Бернайс, П Нагорный, Н. М Адян, С. И Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51:164/Г-47. Онлайн заказ Добавить в подборку (удалить)
			КнигаГильберт Д Основания математики. Теория доказательств. / Гильберт Д., Бернайс П.; Нагорный Н М. (пер. с нем.), Адян С И. (ред.), 1982 Гильберт, Д Бернайс, П Нагорный, Н. М [перевод] Адян, С. И Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: 51:164/Г-47. Онлайн заказ Добавить в подборку (удалить)
			КнигаМатематическая теория логического вывода. Сборник переводов. / Идельсон А В., Минц Г Е. (ред.) Идельсон, А. В Минц, Г. Е 1967 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (2)Место хранения: 51:164/М-34, ... Онлайн заказ Добавить в подборку (удалить)
			КнигаМарков А А Теория алгорифмов. / Марков А А., Нагорный Н М. Марков, А. А Нагорный, Н. М 1984 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (2)Место хранения: 51:164/М-26, ... Онлайн заказ Добавить в подборку (удалить)