George Walford: Precision In Thought
This is from Philosophical Facts No.3, Summer 1985, issued by Philosophy Documentation Center: LOGICIAN is a text processor for logicians and logic teachers. The program provides an efficient means of quickly producing error-free natural deduction proofs for use as examples and exercises for students. LOGICIAN differs from ordinary text editors in that it understands and… read more »