Tarski's world 3.0 : including the Macintosh program

Author(s)

• Barwise, Jon
• Etchemendy, John

Bibliographic Information

Tarski's world 3.0 : including the Macintosh program

Jon Barwise and John Etchemendy

（CSLI lecture notes, no. 25）

Center for the Study of Language and Information, c1991

• :pkb.

Note

Computer disk in pocket

Includes index

Details

• NCID: BA19257797
• ISBN:
  • 0937073679
• LCCN: 91008756
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, CA
• Pages/Volumes: xv, 111 p.
• Attached Material: 1 computer disk
• Classification:
  • LCC : BC128
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Tarski's world (Computer program)
  • LCSH : First-order logic
• Parent Bibliography ID:
  • BA0037651X