TY - BOOK AU - Monk, J. Donald TI - Mathematical logic SN - 0387901701 U1 - 511.3 PY - 1976/// CY - New York PB - Springer-Verlag KW - Logic, Symbolic and mathematical ER -