Aron, Andrei

Search Results1-1 of 1

  • 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 Publications c2017 CSLI lecture notes no. 216

    : pbk

    Available at 4 libraries

Page Top