Шрамко Я.В. Логическое следование и интуиционизм : Проблемы релевантизации интуиционисткой логики / Я.В.Шрамко, 1997. - 179 с. - Текст : непосредственный.
Приложение
для Android