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

Author(s)

• Barwise, Jon
• Etchemendy, John

Bibliographic Information

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

Jon Barwise & John Etchemendy

（CSLI lecture notes, no. 34）

Center for the Study of Language and Information, c1992

3rd ed., rev. and expanded

Uniform Title

Tarski's world (Computer program)

Note

Includes index

Computer disk in pocket

System requirements for computer disk(Tarki's world 4.0): IBM PC;Microsoft windows

Details

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