Элементы математической логики : Учеб. пособие для студентов мат. специальностейФролов, И.С.200180 с.