Keisler, H.Jerome

Mathematical logic and computability / Keisler, H.Jerome. - New York: The McGraw-Hill, 1996. - vii,484p;25cm

Includes bibliographical references.

0071144269

511.3 KEI