Обновление от 11 июня 2014 г.

Брусенцов Н.П. Трехзначное обобщение алгебры логики. Преодоление несовершенности ДНФ трехзначным обобщением логики
Брусенцов Н.П. Аристотелево необходимое следование
Бурцев А. А., Рамиль Альварес Х. Реализация средств объектно-ориентированного программирования в кросс-компиляторе языка ДССП-Т