Краткий курс математической логики. Дудковская И.А.