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

Результаты поиска
			КнигаВведение в математическую логику : [учебное пособие для вузов] : Т. 1 / А. Чёрч / Пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского Чёрч, Алонзо Чернявский, В. С [пер.] Успенский, В. А [ред.] 1960 Вариант заглавия: Introduction to mathematical logic Онлайн доступ: Электронная копия Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (3)Место хранения: Профсоюзная 51:164 / Ч 50, ... Онлайн заказ Добавить в подборку (удалить)
			КнигаЭлементы математической логики / П. С. Новиков Новиков, Петр Сергеевич 1959 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (3)Место хранения: Миусская 51:164 / Н 74, ... Онлайн заказ Добавить в подборку (удалить)
			Труды конференцийВторая Всесоюзная конференция по математической логике : [тезисы кратких сообщений] 3-5 июля 1972 г. / Отд-ние математики АН СССР ; Мат. ин-т им. В. А. Стеклова АН СССР ; Ин-т прикл. математики АН СССР Математический институт им. В. А. Стеклова АН СССР Институт прикладной математики АН СССР 1972 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 51:164 / В 85. Онлайн заказ Добавить в подборку (удалить)
			Труды конференцийПятая Всесоюзная конференция по математической логике : посвящ. 70-летию академика А. И. Мальцева : [Тезисы докладов] Новосибирск, 27-29 ноября 1979 г. / Ин-т математики Сиб. отд-ния АН СССР Академия наук СССР. Сибирское отделение . Институт математики 1979 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 51:164 / В 85. Онлайн заказ Добавить в подборку (удалить)
			Труды конференцийТретья Всесоюзная конференция по математической логике : [Тезисы докладов] 23-27 июня 1974 г. / Ин-т математики Сиб. отд-ния АН СССР Академия наук СССР. Сибирское отделение . Институт математики 1974 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 51:164 / В 85. Онлайн заказ Добавить в подборку (удалить)
			КнигаПрямая и обратная теоремы : Элементы алгебры логики / И. С. Градштейн Градштейн, Израиль Соломонович 1972 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (2)Место хранения: Миусская 51 / Г 75, ... Папки: 2026.03.20_ВЕРА. Онлайн заказ Добавить в подборку (удалить)
			КнигаЗадачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова Лавров, Игорь Андреевич Максимова, Лариса Львовна 1975 Экземпляры, доступные для выдачи: Институт прикладной математики им. М.В. Келдыша (1)Место хранения: Миусская 510 / Л 13. Онлайн заказ Добавить в подборку (удалить)