TY - BOOK AU - Shoenfield,Joseph R. TI - Mathematical logic SN - 1568811357 (pbk. : acidfree paper) U1 - 511.3 PY - 2001///?], c1967 CY - Natick, Mass. PB - Association for Symbolic Logic KW - Logic, Symbolic and mathematical N1 - Originally published: Reading, Mass. : Addison-Wesley Pub. Co., 1967, in series: Addison-Wesley series in logic; Includes index ER -