Systems of formal logic - Hackstaff, L. H. (Dordrecht-Holland D. Reidel, 1966)