Математическая логика и теория алгоритмов для программистов. Учебное пособие
Математическая логика и теория алгоритмов для программистов. Учебное пособие. Гриф МО РФ
Теоретические основы разработки и реализации языков программирования