TY - BOOK AU - Bochenski, J M TI - Precis of Mathematical Logic U1 - 517.1 PY - 1959/// CY - Holland PB - D Reidel Publishing Company KW - Mathematics ER -