Words, proofs, and diagrams

著者

• Barker-Plummer, Dave

書誌事項

Words, proofs, and diagrams

edited by Dave Barker-Plummer ... [et al.]

（CSLI lecture notes, no. 141）

CSLI Publications, c2002

• : pbk

注記

Includes bibliographical references and index

ハードバック版は,別書誌 <BA58973638>

詳細情報

• NII書誌ID(NCID): BA60224247
• ISBN:
  • 1575864061
• LCCN: 2002005214
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford
• ページ数/冊数: x, 276 p.
• 大きさ: 23 cm
• 分類:
  • LCC : P39.W67
  • DC21 : 401/.43
• 件名:
  • LCSH : Language and logic
  • LCSH : Reasoning
  • LCSH : Logic diagrams
  • LCSH : Computational linguistics
  • LCSH : Visual communication
  • LCSH : Semantics (Philosophy)
• 親書誌ID:
  • BA0037651X