Tarski's world : version 4.0 for MS Windows

Author(s)

• Barwise, Jon
• Etchemendy, John

Bibliographic Information

Tarski's world : version 4.0 for MS Windows

Jon Barwise & John Etchemendy

（CSLI lecture notes, no. 45）

CSLI Publications, c1993

• : pbk

Note

Includes index

Details

• NCID: BA23042477
• ISBN:
  • 1881526283
• LCCN: 93030042
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, CA
• Pages/Volumes: xviii, 122 p.
• Size: 23 cm
• Attached Material: 1 floppy disk
• Classification:
  • LCC : BC128
  • DC20 : 511.3/0285/5369
• Subject Headings:
  • LCSH : Tarski's world -- Handbooks, manuals, etc
  • LCSH : First-order logic -- Handbooks, manuals, etc
• Parent Bibliography ID:
  • BA0037651X