Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 9 results.

Results
	1.	No cover image available Теория алгорифмов А. А. Марков, Н. М. Нагорный by Марков, Андрей Андреевич младший, 1903-1979 \| Нагорный, Николай Макарович. Series: Математическая логика и основания математикиMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1984Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	No cover image available Элементы математической логики П. С. Новиков by Новиков, Петр Сергеевич. Series: Математическая логика и основания математикиEdition: 2-е изд., испр.Material type: Text; Format: print ; Literary form: Not fiction Publication details: М. Наука 1973Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	3.	No cover image available Введение в теорию моделей и метаматематику алгебры пер. с англ. А. Б. Волынского ; под ред. [и с предисл.] А. Д. Тайманова by Робинсон, Авраам. Series: Математическая логика и основания математикиMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1967Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	4.	No cover image available Синтез цифровых автоматов В. М. Глушков by Глушков, Виктор Михайлович, 1923-1982. Series: Математическая логика и основания математикиMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматгиз 1962Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	5.	No cover image available Основания математики теория доказательств Д. Гильберт, П. Бернайс ; пер . с нем. Н. М. Нагорного ; под ред. С. И. Адяна by Гильберт, Давид, 1862-1943 \| Бернайс, Пауль \| Адян, Сергей Иванович, 1931- [edt]. Series: Математическая логика и основания математикиMaterial type: Text; Format: print available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука, Физматлит 1982Online access: Click here to access online Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	6.	No cover image available Математическая логика Дж. Шенфилд; Пер. с англ. И. А. Лаврова, И. А. Мальцева; Под ред. Ю. Л. Ершова by Шенфилд, Джозеф Р \| Ершов, Юрий Леонидович, 1940- [ред.]. Series: Математическая логика и основания математикиMaterial type: Text; Format: print Language: Russian Original language: English Publication details: М. Наука, Главная редакция физико-математической литературы 1975Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	7.	No cover image available Десятая проблема Гильберта by Матиясевич, Юрий Владимирович. Series: Математическая логика и основания математикиMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Москва Наука, Физико-математическая литература 1993Online access: Click here to access online Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	8.	No cover image available Конечные автоматы (поведение и синтез) Б. А. Трахтенброт, Я. М. Барздинь by Трахтенброт, Борис Авраамович \| Барздинь, Ян Мартынович. Series: Математическая логика и основания математикиMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1970Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	9.	No cover image available Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др. by Чень, Ч \| Ли, Р \| Маслов, Сергей Юрьевич [edt]. Series: Математическая логика и основания математикиMaterial type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available : Place hold Log in to add tags Add to cart (remove)