The language of first-order logic : including the Macintosh version of Tarski's world 4.0

Author(s)

• Barwise, Jon
• Etchemendy, John

Bibliographic Information

The language of first-order logic : including the Macintosh version of Tarski's world 4.0

Jon Barwise & John Etchemendy

（CSLI lecture notes, no. 23）

Center for the Study of Language and Information, c1993

3rd ed., rev. and expanded

Uniform Title

Tarski's world (Computer program)

Note

System requirements for computer disk (Tarski's world 4.0): Macintosh computer

Computer disk in pocket

Includes indexes

Details

• NCID: BA21075930
• ISBN:
  • 0937073997
• LCCN: 93000419
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, CA
• Pages/Volumes: xiv, 313 p.
• Size: 24 cm.
• Attached Material: 1 computer disk (3 1/2 in.)
• Classification:
  • LCC : BC128
  • DC20 : 160
  • NDC8 : 116
• Subject Headings:
  • LCSH : First-order logic
  • LCSH : Tarski's world (Computer program)
• Parent Bibliography ID:
  • BA0037651X
• Uniform Title ID:
  • EA00032005