Логика

Coq: Азы классической логики для алкоголиков