The language of first-order logic including the Macintosh program Tarski's world 3.0 / Jon Barwise, John Etchemendy.
Material type: 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:- text
- unmediated
- volume
- 0937073741
- BC128 B28 1991
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 |
Browsing Ladislao N. Diwa Memorial Library shelves, Shelving location: Reserve Section, Collection: Non-fiction Close shelf browser (Hides shelf browser)
RUS BC108 H93 1994 A Concise introduction to logic / | RUS BC108 H93 1997 A Concise introduction to logic / | RUS BC108 N72 1998 Schaum's outline of theory and problems of logic / | RUS BC128 B28 1991 The language of first-order logic including the Macintosh program Tarski's world 3.0 / | RUS BC135 B45 1990 Solutions to selected exercises in the logic book / | RUS BC135 B45 1998 The Logic book / | RUS BC177 In2 1998 Critical thinking and communication : the use of reason in argument / |
Donated by Ohio State University 26176