The language of first-order logic including the Macintosh program Tarski's world 3.0 / Jon Barwise, John Etchemendy.

By:

Contributor(s):

Material type: Text

TextSeries: CSLI lecture notes ; no. 23Publication details: Menlo Park, Calif. : Center for the Study of Language and Information, c1991.Edition: 2nd ed., rev. and expandedDescription: xiv, 297p. illustrations ; 23 cmContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

LOC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Materials specified	Status	Notes	Date due	Barcode
Books	Ladislao N. Diwa Memorial Library Reserve Section	Non-fiction	RUS BC128 B28 1991 (Browse shelf(Opens below))		Available	26176		00012925

Donated by Ohio State University 26176