Азбука математической логики — Мельников Г.П.