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

著者

• Barwise, Jon
• Etchemendy, John

書誌事項

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

Jon Barwise & John Etchemendy

（CSLI lecture notes, no. 23）

Center for the Study of Language and Information, c1993

3rd ed., rev. and expanded

統一タイトル

Tarski's world (Computer program)

注記

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

Computer disk in pocket

Includes indexes

• NII書誌ID(NCID): BA21075930
• ISBN:
  • 0937073997
• LCCN: 93000419
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, CA
• ページ数/冊数: xiv, 313 p.
• 大きさ: 24 cm.
• 付属資料: 1 computer disk (3 1/2 in.)
• 分類:
  • LCC : BC128
  • DC20 : 160
  • NDC8 : 116
• 件名:
  • LCSH : First-order logic
  • LCSH : Tarski's world (Computer program)
• 親書誌ID:
  • BA0037651X
• 統一タイトルID:
  • EA00032005