Liu, Albert

ID:DA16664269

Search authors sharing the same name

Search Results1-4 of 4

  • 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

  • Language, proof and logic

    Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease

    CSLI Publications 2011 2nd ed

    : pbk

    Available at 11 libraries

  • Tarski's world

    by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert Liu

    CSLI Publications c2008 Rev. and expanded CSLI lecture notes no. 169

    :pbk. : alk. paper

    Available at 10 libraries

  • Language proof and logic

    Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu

    CSLI Publications c2002

    : pbk

    Available at 15 libraries

Search this author

Page Top