Logical reasoning with diagrams & sentences using Hyperproof

Author(s)

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

Bibliographic Information

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

Other Title

Logical reasoning with diagrams & sentences

Note

Includes indexes

• NCID: BB24044497
• ISBN:
  • 9781575869513
• LCCN: 2016032630
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: xvii, 210 p.
• Size: 26 cm
• Classification:
  • LCC : BC177
  • DC23 : 160.285
• Subject Headings:
  • LCSH : Logic
  • LCSH : Reasoning
• Parent Bibliography ID:
  • BA0037651X