Азбука математической логики - Мельников Г.П (Знание, 1967)