Знайдено результатів пошуку: 33.

Результати пошуку
	1.	Неклассическая логика сборник статей ред. П. В. Таванец by Таванец,П. В. Петр Васильевич [Редактор] Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1970 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	2.	Математическая логика пер. с англ. С. К. Клини by Клини,С. К. Стефан Коул [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Мир 1973 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Недоступно: Відділ зберігання основного фонду: Списано (1). Додати у кошик (вилучити)
	3.	Математическая логика учебник для студентов сред. спец. учебн. заведений И. Л. Никольская by Никольская,И. Л. Инна Львовна [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Высшая школа 1981 Наявність: Доступні примірники: Відділ абонемента (1). Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	4.	Популярная логика пер. с польского А. Гжегорчик by Гжегорчик,А. Анджей [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1979 Наявність: Доступні примірники: Відділ абонемента (1). Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	5.	Математическая логика Учебное пособие для студентов вузов Ю. Л. Ершов, Е. А. Палютин by Ершов,Ю. Л. Юрий Леонидович [Автор, співавтор] Палютин,Е. А. Евгений Андреевич [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1979 Наявність: Доступні примірники: Відділ абонемента (1). Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	6.	Математическая логика Учебное пособие для студентов вузов Ю. Л. Ершов, Е. А. Палютин by Ершов,Ю. Л. Юрий Леонидович [Автор, співавтор] Палютин,Е. А. Евгений Андреевич [Автор, співавтор] Видання: 2-е изд., испр. и доп. Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1987 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Відділ обслуговування користувачів (читальний зал) (1). Додати у кошик (вилучити)
	7.	Математический интуиционизм введение в теорию доказательств А. Г. Драгалин by Драгалин,А. Г. Альберт Григорьевич [Автор, співавтор] Серія: Математическая логика и основания математики Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1979 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	10.	Элементы математической логики А. А. Марков by Марков,А. А. Андрей Андреевич [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Изд-во МГУ 1984 Наявність: Доступні примірники: Відділ абонемента (1). Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	11.	Основания математической логики пер. с англ. Х. Б. Карри by Карри,Х. Б. Хаскелл Б [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Мир 1969 Наявність: Доступні примірники: Відділ абонемента (1). Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	12.	Заметки по логике пер. с англ. Р. К. Линдон by Линдон,Р. К [Автор, співавтор] Серія: Современная математика. Популярная серия Вид матеріалу: Текст Мова: російська Публікація: М. Мир 1968 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	13.	Доказуемое и недоказуемое Ю. И. Манин by Манин,Ю. И. Юрий Иванович [Автор, співавтор] Серія: Кибернетика Вид матеріалу: Текст Мова: російська Публікація: М. Советское радио 1979 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	14.	Доказательства и опровержения: как довязываются теоремы пер. с англ. И. Лакатос; АН СССР by Лакатос,И [Автор, співавтор] АН СССР Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1967 Наявність: Доступні примірники: Відділ абонемента (1). Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	15.	Азбука математической логики Г. П. Мельников by Мельников,Г. П. Геннадий Прокопьевич [Автор, співавтор] Серія: Народный ун-т. Естественнонаучный факультет Вид матеріалу: Текст Мова: російська Публікація: М. Знание 1967 Наявність: Доступні примірники: Відділ абонемента (1). Додати у кошик (вилучити)
	16.	Введение в математическую логику пер. с англ. Э. Мендельсон by Мендельсон,Э. Эллиот [Автор, співавтор] Видання: 3-е изд. Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1984 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	17.	Основания математики логич. исчисления и формализация арифметики : пер. с нем. Д. Гильберт, П. Бернайс by Гильберт,Д. Давид [Автор, співавтор] Бернайс,П. Пауль [Автор, співавтор] Видання: 2-е изд. Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1982 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Недоступно: Відділ зберігання основного фонду: Списано (1). Додати у кошик (вилучити)
	18.	Конструктивная математическая логика с точки зрения классической П. С. Новиков by Новиков,П. С. Петр Сергеевич [Автор, співавтор] Серія: Математическая логика и основания математики Вид матеріалу: Текст Мова: російська Публікація: М. Наука 1977 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)
	19.	Что такое математическая логика? Л. А. Калужнин by Калужнин,Л. А. Лев Аркадьевич [Автор, співавтор] Серія: Об-во по распространению политических и научных знаний Украинской ССР Вид матеріалу: Текст Мова: російська Публікація: К. 1961 Наявність: Доступні примірники: Відділ абонемента (1). Додати у кошик (вилучити)
	20.	Теория непрерывных моделей пер. с англ. Г. Дж. Кейслер, Ч. Чэн by Кейслер,Г. Дж [Автор, співавтор] Чэн,Ч. Чень-Чунь [Автор, співавтор] Вид матеріалу: Текст Мова: російська Публікація: М. Мир 1971 Наявність: Доступні примірники: Відділ зберігання основного фонду (1). Додати у кошик (вилучити)