TY - BOOK AU - Exner R M AU - Rosskopf M F TI - Logic in elementary mathematics U1 - 511.3 PY - 1959/// CY - London PB - McGraw-Hill KW - Mathematical logic ER -