Лекция 8. С.Л. Кузнецов. Интуиционистская логика первого порядка, ч. 1