TY - BOOK AU - Keisler,H.Jerome TI - Handbook of mathematical logic SN - 072042285X PY - 1977/// CY - Amsterdam PB - North-Holland Publishing Company KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index ER -