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

著者

• Barwise, Jon
• Etchemendy, John

書誌事項

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

Jon Barwise and John Etchemendy

（CSLI lecture notes, no. 23）

Center for the Study of Language and Information, c1991

2nd ed., rev. and expanded

統一タイトル

Tarski's world (Computer program)

注記

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

Computer disk in pocket

Includes indexes

詳細情報

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