TY - BOOK AU - Hackstaff, L. H. TI - Systems of formal logic U1 - 160 PY - 1966/// CY - Dordrecht-Holland PB - D. Reidel ER -