Математическая логика (вариант 4, ПоволжскийГУТИ)
1. Акимов О.Е. Дискретная математика: логика, группы, графы. М.: Лаборатория базовых знаний, 2001. – 353 с. 2. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. высш. учеб