Презентация была подготовлена в рамках курса "Неклассические логики" на кафедре Информатики и прикладной математики Университета ИТМО.
В основе презентации статья http://psi-logic.narod.ru/psi/rele.htm.
Для создания презентации использовался шаблон https://github.com/easimonenko/itmo-corpo-slides
(c) Симоненко Евгений, 2018