Лекция 1. Т.Л.Яворская. Интуиционистская логика высказываний. Семантика Крипке