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
There are no comments for this item.