35986841_10216840653711318_1105697261150535680_n

The language of first-order logic : including the Mackintosh program Tarski's world 4.0 / Jon Barwise & John Etchemendy

By: Barwise, JonContributor(s): Etchemendy, John, 1952-Material type: TextTextSeries: CSLI lecture notes ; no. 23Publication details: Stanford, CA : Center for the Study of Language and Information, c1993Edition: 3rd ed., rev. and expandedDescription: xiv, 313 p. ; 24 cm. + 1 computer disk (3 1/2 in.)ISBN: 0937073997 (pbk.) :Subject(s): Tarski's world | First-order logicDDC classification: 160 LOC classification: BC128 | .B37 1993
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books Centeral Library
First Floor - Mass communication
160 B.J.L 1993 (Browse shelf (Opens below)) Available 10056

Includes indexes

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer