Tarski's world 3.0 : including the Macintosh program

著者

• Barwise, Jon
• Etchemendy, John

書誌事項

Tarski's world 3.0 : including the Macintosh program

Jon Barwise and John Etchemendy

（CSLI lecture notes, no. 25）

Center for the Study of Language and Information, c1991

• :pkb.

注記

Computer disk in pocket

Includes index

詳細情報

• NII書誌ID(NCID): BA19257797
• ISBN:
  • 0937073679
• LCCN: 91008756
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, CA
• ページ数/冊数: xv, 111 p.
• 付属資料: 1 computer disk
• 分類:
  • LCC : BC128
  • DC20 : 511.3
• 件名:
  • LCSH : Tarski's world (Computer program)
  • LCSH : First-order logic
• 親書誌ID:
  • BA0037651X