E.J. Lemmon, 1965: Beginning Logic. tr 2008, 2 (6).