Анисов А.М.
Становление отечественной логики: дискурсы и судьбы
Зенон и проблема движения
Темпоральный универсум и его познание
Время и компьютер. Негеометрический образ времени
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Современная логика
Ноокулон. Управление реальностью.