Research Catalog
The language of first-order logic : including the Macintosh program Tarski's world /
- Title
- The language of first-order logic : including the Macintosh program Tarski's world / Jon Barwise and John Etchemendy.
- Author
- Barwise, Jon.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | BC128 .B37 1991 | Off-site |
Details
- Additional Authors
- Barwise, Jon.
- Description
- xiv, 297 p. : ill.; 24 cm. +
- Subject
- First-order logic
- ISBN
- 0937073741 :
- LCCN
- 91036151
- Owning Institutions
- Princeton University Library