А. Конверський. Логіка. Умовивід