Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA9.GRI FCT 68492 (Browse shelf) | 1 | Available | 0056092 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
QA9.CHA FCT 21237 Symbolic logic and mechanical theorem proving | QA9.CHA FCT 21238 Symbolic logic and mechanical theorem proving | QA9.GRI FCT 68491 Lógica moderna | QA9.GRI FCT 68492 Lógica moderna | QA9.GRI FCT 68493 Lógica moderna | QA9.HEG FCT 68547 Tabelas e argumentos | QA9.HEG FCT 68548 Dedução no cálculo sentencial |
There are no comments for this item.