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

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

Смотрите также