Language proof and logic / Jon Barwise, John Etchemendy; colab. Gerard Allwein, Dave Barker-Plummer, Albert Liu
Main Author Barwise, Jon, 1942- Coauthor Etchemendy, John, 1952- Secondary Author Allwein, Gerard, 1956-Barker-Plummer, Dave
Liu, Albert Country Estados Unidos. Publication New York : Steven Bridges Press, cop. 2000 Description XI, 587 p. : il. ; 24 cm + 1 Cd-Rom ISBN 1-889119-08-3 CDU 510.6
| Item type | Current location | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da UMinho no Campus de Azurém | BPG 510.6 - B | Available | 317407 | |||
| Produtos Computador | Biblioteca da UMinho no Campus de Azurém | BREG9 510.6 - B | Available | 317408 | |||
| Monografia | Biblioteca da UMinho no Campus de Azurém | BREG8 510.6 - B | Manual de instalação | Available | 317409 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.