Ресурс:
Дискретная математика (Логика, группы, графы).