Title: Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer
Subjects: Addresses, essays, lectures, Logic