Программа для студентов, изучающих математическую логику - автоматичеcкая решалка курсовой работы. Создавалась в давние времена в срочном порядке, когда вручную рассчитать эту курсовую уже не было...