Statman, Richard

ID:DA05376036

別名

Statman, Richard

同姓同名の著者を検索

検索結果2件中 1-2 を表示

  • Lambda calculus with types

    Henk Barendregt, Wil Dekkers, Richard Statman

    Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic

    所蔵館18館

  • Structural complexity of proofs

    by Richard Statman

    University Microfilms International c1974

    所蔵館1館

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

ページトップへ