Уважаемый посетитель!

Предлагаем Вам ознакомиться с рядом материалов по проблемам современной математической логики, связанным с недостаточностью представления фундаментальных логических отношений двузначными алгебраическими объектами.
В книгах и статьях, ссылки на которые Вы здесь найдете, разъясняется суть проблемы и даются пути ее успешного разрешения. Кроме того, здесь собраны ссылки на размещенные в Интернете статьи о троичной ЭВМ "Сетунь", созданной в НИВЦ МГУ в конце 50-х годов.

Все материалы находятся на нашем сайте: ternarycomp.cs.msu.su