Systems of formal logic - Hackstaff, L. H. (D. Reidel, Gordon and Breach, 1966)