Skip to content
Бібліотека МДПУ ім. Б. Хмельницького
МДПУ
Контакти
Бібліотека МДПУ ім. Б. Хмельницького
МДПУ
Контакти
Математична логіка
Home
Бібліотека МДПУ імені Богдана Хмельницького
Інформатики, математики та економіки
Математична логіка
Математична логіка
Айзерман-М.А.-Гусев-Л.А.-Розоноэр-Л.И.-Смирнова-И.М.-Таль-А.А.-Логика.-Автоматы.-Алгоритмы.-1963
Беркли-Э.-Символическая-логика-и-разумные-машины.-1961
Галиев-Ш.А.-Математическая-логика-и-теория-алгоритмов.-2002
Гильберт-Д.-Аккерман-В.-Основы-теоретической-логики.-1947
Гладкий-А.В.-Математическая-логика.-1998
Гуц-А.К.-Математическая-логика-и-теория-алгоритмов.-2003
Ершов-Ю.Л.-Палютин-Е.А.-Математическая-логика.-1987
Игошин-В.И.-Математическая-логика-и-теория-алгоритмов.-2008
Калужнин-Л.А.-Что-такое-математическая-логика.-1964
Колмогоров-А.Н.-Драгалин-А.Г.-Математическая-логика.-1984
Лавров-И.А.-Максимова-Л.Л.-Задачи-по-теории-множеств-математической-логике-и-теории-алгоритмов.-1995
Мальцев-А.И.-Алгоритмы-и-рекурсивные-функции.-1986
Марков-А.А.-Элементы-математической-логики.-1984
Метакидес-Г.-Нероуд-А.-Принципы-логики-и-логического-программирования.-1998
Никольская-И.Л.-Математическая-логика.-1981
Проблемы-математической-логики.-ред.-В.А.-Козмидиади-А.А.-Мучника.-1970
Успенский-В.А.-Верещагин-Н.К.-Плиско-В.Е.-Вводный-курс-математической-логики.-2004
Успенский-В.А.-Семенов-А.Л.-Теория-алгоритмов-основные-открытия-и-приложения.-1987
Шенфилд-Дж.-Математическая-логика.-1975
Эльман-С.Л.-Математическая-логика.-1975
Менеджмент, маркетинг, фінансова справа
Психологія/Педагогіка
Powered by
BetterDocs