Keisler, H.Jerome Mathematical logic and computability / Keisler, H.Jerome. - New York: The McGraw-Hill, 1996. - vii,484p;25cm Includes bibliographical references. ISBN: 0071144269 Dewey Class. No.: 511.3 KEI