1 option
The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy.
Van Pelt Library BC128 .B37 1993 1 v. + disk
Available
- Format:
- Book
- Author/Creator:
- Barwise, Jon.
- Series:
- CSLI lecture notes ; no. 23.
- CSLI lecture notes
- Language:
- English
- Subjects (All):
- First-order logic.
- Tarski's world.
- Physical Description:
- xiv, 313 pages ; 24 cm + 1 computer disk (3 1/2 in.)
- Edition:
- Third edition, revised and expanded.
- Place of Publication:
- Stanford, Calif. : CSLI Publications, Center for the Study of Language and Information, [1993]
- Notes:
- System requirements for computer disk (Tarski's world 4.0): Macintosh computer.
- Includes indexes.
- Contains:
- Tarski's world. 1993.
- ISBN:
- 0937073997
- OCLC:
- 27677189
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.