TY - BOOK AU - Exner Robert M AU - Rosskope Myron F TI - Logic in elementary mathematics U1 - B:R1, J9 PY - 1959/// KW - Mathematical logic KW - Mathematics ER -