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

Search this Book/Journal
Note

Includes indexes

Related Books: 1-1 of 1
  • CSLI lecture notes

    Center for the Study of Language and Information, Stanford University (CSLI)

Details
  • 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
  • Subject Headings
  • Parent Bibliography ID
Page Top