TY  - BOOK
AU  - Keisler, Jerome H
AU  - Robbin, Joel
TI  - Mathematical logic and computability
T2  - International series in pure & applied mathematics
SN  - 9780071144261
CY  - New York
KW  - Computability
KW  - Digital logic
KW  - Logiclab
N1  - Includes bibliographical references and index
ER  -