| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Sala azul/Piso 2 | Não Ficção | QA9.5.BAR FCT 11157 (Browse shelf) | 1 | Available | 0016610 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala azul/Piso 2 , Collection code: Não Ficção Close shelf browser
| QA9.46.GOL FCT 24420 Mathematics of modality | QA9.46.POP FCT 58923 First steps in modal logic | QA9.5.AMA FCT 36600 Domains and Lambda-Calculi | QA9.5.BAR FCT 11157 The Lambda calculus | QA9.54.ARI FCT 25492 Arithmetic, proof theory, and computational complexity | QA9.54.CUP FCT 34983 The nuts and bolts of proofs | QA9.54.CUP FCT 68763 The nuts and bolts of proofs |
There are no comments for this item.