Title: On understanding logical deduction
First published: 1986