Hackstaff, Lawrence H.: Systems of formal logic. Dordrecht : Reidel, 1966