Formal logic

Анализ основных проблем формальной логики: сентенциональное исчисление, проблема кванторов, тождество, силлогистика и т.д. ;