Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.