Самологика

Курс по компактной формальной логике.