Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
Main Author Boolos, George S. Coauthor Burgess, John P., 1948-Jeffrey, Richard C. Country Reino Unido. Edition 4th ed Publication Cambridge : Cambridge University Press, 2002 Description XI, 356 p. ; 26 cm ISBN 0-521-00758-5 CDU 510.6 510.57
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 510.6 - B | Available | 317561 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.