Матлогика

Законы формальной логики...
Александр Соловьев. Дискретная математика без формул