The language of first-order logic : including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers / Jon Barwise, John Etchemendy
Language: eng.Country: US - United States of America.Edition Statement: 3rd ed, revised and expandedPublication: Stanford, US : CSLI, cop. 1992Description: XIV, 319 p. ; 24 cm + 1 disqueteISBN: 0-937073-90-3.Series: CSLI lecture notes, 34Subject - Topical Name: Lógica de primeira ordem | Tarski's world (Programas de computador)Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Monografia | Biblioteca NOVA FCT Sala verde/Piso 1 | Não Ficção | BC128.BAR FCT 48061 (Browse shelf(Opens below)) | 1 | Available | 0030494 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Sala verde/Piso 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)
Adquirido DI
There are no comments on this title.
Log in to your account to post a comment.