TY - BOOK AU - Bochenski, J.M TI - Principles of mathematical logic N1 - B31 J95 ER -