检索结果 - Parikh, Rohit

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Proof, Computation and Agency Logic at the Crossroads / van Benthem, Johan

    出版 2011
    其他作者: “...Parikh, Rohit...”
    获取全文
    电子 电子书