Математична логіка

Математична логіка

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

Powered by BetterDocs