The language of first-order logic : including the IBM-compatible windows version of Tarski's world 4.0 / Jon Barwise, John Etchemendy
Edition Statement: 3rd ed.Publication: Stanford : Center for the Study of Language and information, 1992Description: XIV, 319 p. : il.ISBN: 0-937073-90-3.Series: CLSI Lecture Notes, 34Subject - Topical Name: Lógica matemática | Lógica proposicional | Lógica dos predicados | Lógica de primeira ordem | Programa de computador | Tarski's worldItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | BAR. 510.6 (Browse shelf) | Available | 1002177 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
BAR. 37 Como redigir um relatório | BAR. 51 Trabalhos científicos | BAR. 51 Finite mathematics | BAR. 510.6 The language of first-order logic | BAR. 517 Problemas e exercícios de análise matemática | BAR. 517 Problemas e exercícios de análise matemática | BAR. 517 Problemas e exercícios de análise matemática |
There are no comments for this item.