Mathematical logic and computability
Keisler, Jerome H
Mathematical logic and computability - New York McGraw-Hill 1996 - vii, 484p. - International series in pure & applied mathematics .
Includes bibliographical references and index
9780071144261
Computability
Digital logic
Logiclab
Mathematical logic and computability - New York McGraw-Hill 1996 - vii, 484p. - International series in pure & applied mathematics .
Includes bibliographical references and index
9780071144261
Computability
Digital logic
Logiclab