Безгачева Ю. В. Приложение семантики Крипке к исследованию правил вывода : Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.01.06. - Красноярск, 1998. - 15 с.