The Language of first-order logic : including the IBM-compatible windows version of Tarsk'is World 4.0 / Jon Barwise & John Etchemendy.
By: Barwise, Jon
Contributor(s): Etchemendy, John
Material type:
Text; Format:
print
Series: CSLI lecture notes ; 34Publisher: Stanford : Center for the Study of Language and Information, cop. 1992Edition: 3rd ed., rev. and expandedDescription: XIV, 319 p. ; 24 cm + 1 disqueteISBN: 0-937073-90-3Subject(s): Lógica matemática
| Item type | Home library | Call number | Status | Loan | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 510.6/BAR/lan (Browse shelf) | Available Shelving location | Bibliomaps® | PREST. LIBROS | 3744048023 |
Total holds: 0
Mendeley
EndNote
There are no comments for this item.