Задачи по теории множеств, математической логике и теории алгоритмов
Автор:Лавров И.А., Максимова Л.Л. Год: 1995 Издание:
[не указано] Страниц: [не указано] ISBN: [не указан] В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук.