Logical reasoning with diagrams & sentences using Hyperproof

著者

• Barker-Plummer, Dave
• Barwise, Jon
• Etchemendy, John
• Murray, Michael
• Liu, Albert
• Akhter, Murad
• Aron, Andrei

書誌事項

Logical reasoning with diagrams & sentences using Hyperproof

Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei Aron

（CSLI lecture notes, no. 216）

CSLI Publications, c2017

• : pbk

タイトル別名

Logical reasoning with diagrams & sentences

注記

Includes indexes

詳細情報

• NII書誌ID(NCID): BB24044497
• ISBN:
  • 9781575869513
• LCCN: 2016032630
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: xvii, 210 p.
• 大きさ: 26 cm
• 分類:
  • LCC : BC177
  • DC23 : 160.285
• 件名:
  • LCSH : Logic
  • LCSH : Reasoning
• 親書誌ID:
  • BA0037651X