Элементы математической логики. Фролов И.С.