Showing 1 - 4 results of 4 for search 'Bimbo, Katalin', 查詢時間: 0.01s Refine Results
  1. 1
    Proof theory: sequent calculi and related formalisms
    由 Bimbo, Katalin
    出版 2015
    Printed Book
  2. 2
    Proof theory sequent calculi and related formalisms
    由 Bimbo, Katalin
    出版 2015
    Printed Book
  3. 3
    Combinatory logic pure applied and typed
    由 Bimbo, Katalin
    出版 2012
    Printed Book
  4. 4
    Combinatory logic : pure, applied and typed /
    由 Bimbó, Katalin
    出版 2012
    Printed Book
檢索工具: 得到RSS訂閱 — 推薦此搜索