Логика и доказательства: виды и схемы в иллюстрациях