Типы доказательств в логике: Обзор и примеры