Algebraic model theory / ed. by Bradd T. Hart, Alistair H. Lachlan, Matthew A. Valeriote
Language: eng.Country: GB - United Kingdom of Great Britain & N. Ireland.Publication: London : Kluwer Academic Publishers, cop. 1997Description: XVII, 277 p. ; 25 cmISBN: 0-7923-4666-1.Series: NATO ASI series, Advanced science institutes seriesSubject - Topical Name: Teoria de modelos| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca NOVA FCT Depósito 1 | Não Ficção | QA9.7.ALG FCT 34977 (Browse shelf(Opens below)) | 1 | Available | 0016632 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Depósito 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| QA9.58.SWA FCT 22701 Fundamentos computacionais, algoritmos e estrutura de dados | QA9.59.NUN FCT 35854 Modelo orientado para objectos de um servidor de informação, análise, projecto e implementação de um protótipo | QA9.65.KEI FCT 51564 Logiclab to accompany mathematical logic and computability, disk 1 of 1 | QA9.7.ALG FCT 34977 Algebraic model theory | QA9.7.BEL FCT 41293 Models and ultraproducts, an introduction | QA9.ABR FCT 79680 Revision based total semantics for extended normal logic programs | QA9.CHA FCT 21234 Symbolic logic and mechanical theorem proving |
There are no comments on this title.
Log in to your account to post a comment.
