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

Author(s)

• Barwise, Jon
• Etchemendy, John

Bibliographic Information

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

Jon Barwise and John Etchemendy

（CSLI lecture notes, no. 23）

Center for the Study of Language and Information, c1991

2nd ed., rev. and expanded

Uniform Title

Tarski's world (Computer program)

Note

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

Computer disk in pocket

Includes indexes

Details

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