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