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: TextText; 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)

Powered by Koha