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