The language of first-order logic including the Macintosh program Tarski's world 3.0 / Jon Barwise, John Etchemendy.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- unmediated
- volume
- 0937073741
- BC128 B28 1991
Item type | Current library | Collection | Call number | Materials specified | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
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