TY - BOOK AU - Hallerberg,Arthur Edward TI - Logic in mathematics: : an elementary approach U1 - 511.3 PY - 1974/// CY - New York PB - Macmillan KW - Logic, symbolic and mathematical ER -