Лекция №15. Л.Д. Беклемишев. Интуиционистское исчисление предикатов…