Biblioteca do ISEL

Normal view MARC view ISBD view

The language of first-order logic : including the IBM-compatible windows version of Tarski's world 4.0 / Jon Barwise, John Etchemendy

Main Author: BARWISE, JonCoauthor: ETCHEMENDY, JohnEdition 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 world
    average rating: 0.0 (0 votes)
Item 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.

Log in to your account to post a comment.

Informática-ISEL