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

Результаты поиска
			КнигаВведение в математическую логику : [учебное пособие для вузов] : Т. 1 / А. Чёрч / Пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского Чёрч, Алонзо Чернявский, В. С [пер.] Успенский, В. А [ред.] 1960 Вариант заглавия: Introduction to mathematical logic Онлайн доступ: Электронная копия Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (3)Место хранения: Профсоюзная 51:164 / Ч 50, ... Онлайн заказ Добавить в подборку (удалить)
			КнигаПрикладной нестандартный анализ / М. Девис / Пер. с англ. С. Ф. Сопрунова ; Под ред. и с предисл. В. А. Успенского Девис, Мартин Сопрунов, С. Ф [пер.] Успенский, В. А [ред.] 1980 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 517 / Д 25. Онлайн заказ Добавить в подборку (удалить)
			КнигаРекурсивные функции / Р. Петер / Пер. с нем. В.А. Успенского ; Под ред. и с предисл. А.Н. Колмогорова Петер, Роза Успенский, В. А [пер.] Колмогоров, А. Н [ред., авт. предисл.] 1954 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (3)Место хранения: Миусская 51:164 / П 29, ... Онлайн заказ Добавить в подборку (удалить)
			КнигаВведение в метаматематику / С. К. Клини / Пер. с англ. А. С. Есенина-Вольпина ; Под ред. В. А. Успенского Клини, Стефен Коул Есенин-Вольпин, А. С [пер.] Успенский, В. А [ред.] 1957 Вариант заглавия: Introduction to metamathematics Онлайн доступ: Электронная копия Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (2)Место хранения: Миусская 51:164 / К 49, ... Онлайн заказ Добавить в подборку (удалить)