TY - BOOK AU - Monk J Donald TI - Mathematical logic SN - 0-387-90170-1 U1 - 511.3 PY - 1976/// CY - New York PB - Springer-Verlag KW - Mathematical logic ER -