Tarski's world

著者

• Barker-Plummer, Dave
• Barwise, Jon
• Etchemendy, John
• Liu, Albert

書誌事項

Tarski's world

by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert Liu

（CSLI lecture notes, no. 169）

CSLI Publications, c2008

Rev. and expanded

• :pbk. : alk. paper

注記

Includes bibliographical references and indexes

Computer disk in pocket

詳細情報

• NII書誌ID(NCID): BA84700610
• ISBN:
  • 9781575864846
• LCCN: 2004017514
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, CA
• ページ数/冊数: xvii, 126 p.
• 大きさ: 23 cm
• 付属資料: 1 CD-ROM (4 3/4 in.)
• 分類:
  • LCC : BC128
  • DC22 : 511.3
• 件名:
  • LCSH : First-order logic
  • LCSH : Tarski's world
• 親書誌ID:
  • BA0037651X