Электронные книги Дискретная математика. Формально-логические системы и языки (Сергей Авдошин, Алексей Набебин)
