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