TY - GEN AU - Monk, Donald J. TI - Mathematical logic SN - 0387901701 U1 - 511.3 PY - 1976/// CY - New York PB - Springer-Verlag KW - MATHEMATICS KW - SYMBOLIC LOGIC KW - MATHEMATICAL LOGIC ER -