Systems of Formal Logic - Hackstaff, L.H.