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

Written by John S. Rybak