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