Computability and logic / George S. Boolos, Richard C. Jeffrey.
Material type: TextPublication details: Cambridge ; New York : Cambridge University Press, 1989.Edition: 3rd edDescription: x, 304 p. : ill. ; 24 cmISBN:- 052138026X
- 0521389232 (pbk.)
- 511.3 20
- QA9.59 .B66 1989
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection | QA9.59 .B66 1989 (Browse shelf(Opens below)) | Available | 2267 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.