TY - BOOK AU - Monk, James Donald TI - MATHEMATICAL LOGIC U1 - 511.3 PY - 1976/// CY - Berlin PB - Springer-Verlag KW - Logic -- Symbolic And Mathematical ER -