Лекция №16. Л.Д. Беклемишев. Негативная интерпретация классической логики в интуиционистской