Tarski's world : version 4.0 for MS Windows

著者

• Barwise, Jon
• Etchemendy, John

書誌事項

Tarski's world : version 4.0 for MS Windows

Jon Barwise & John Etchemendy

（CSLI lecture notes, no. 45）

CSLI Publications, c1993

• : pbk

注記

Includes index

• NII書誌ID(NCID): BA23042477
• ISBN:
  • 1881526283
• LCCN: 93030042
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, CA
• ページ数/冊数: xviii, 122 p.
• 大きさ: 23 cm
• 付属資料: 1 floppy disk
• 分類:
  • LCC : BC128
  • DC20 : 511.3/0285/5369
• 件名:
  • LCSH : Tarski's world -- Handbooks, manuals, etc
  • LCSH : First-order logic -- Handbooks, manuals, etc
• 親書誌ID:
  • BA0037651X