Иллюстрации и диаграммы по формальной и математической логике