Liu, Albert

ID:DA16664269

同姓同名の著者を検索

検索結果4件中 1-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

    所蔵館4館

  • 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

    所蔵館11館

  • 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

    所蔵館10館

  • Language proof and logic

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

    CSLI Publications c2002

    : pbk

    所蔵館15館

この著者を外部サイトでさがす

ページトップへ