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

著者

• Barwise, Jon
• Etchemendy, John

書誌事項

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

統一タイトル

Tarski's world (Computer program)

注記

Includes index

Computer disk in pocket

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

詳細情報

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