Математическая логика : Текст лекций для студентов специальности 0102.00Шачнев, Владимир Алексеевич199921 с.