TY - BOOK AU - Lorenzen Paul TI - Formal logic U1 - R1, K51 CY - Dordrecht PB - D. Reidel Pub. Co. Holland KW - PHILOSOPHY ER -