Математическая логика: Курс лекций. Задачник-практикум и решения
Автор:Лихтарников Л.М., Сукачева Т. Г. Год: 1998 Издание:Лань Страниц: 288 ISBN: 5811400829 Учебное пособие предназначено для студентов университетов и педагогических институтов, изучающих курс математической логики.