Проблема останова лжеца Гёделя и брадобрея Кантора

Разбор курьёзов классической логики через призму многозначных логик. Слайды: https://page.hyoo.ru/#!=ixy44o_3oga48