Words, proofs, and diagrams

Author(s)

• Barker-Plummer, Dave

Bibliographic Information

Words, proofs, and diagrams

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

（CSLI lecture notes, no. 141）

CSLI Publications, c2002

• : pbk

Note

Includes bibliographical references and index

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

Details

• NCID: BA60224247
• ISBN:
  • 1575864061
• LCCN: 2002005214
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford
• Pages/Volumes: x, 276 p.
• Size: 23 cm
• Classification:
  • LCC : P39.W67
  • DC21 : 401/.43
• Subject Headings:
  • LCSH : Language and logic
  • LCSH : Reasoning
  • LCSH : Logic diagrams
  • LCSH : Computational linguistics
  • LCSH : Visual communication
  • LCSH : Semantics (Philosophy)
• Parent Bibliography ID:
  • BA0037651X