关注微信公众号查券更方便
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy 模态同伦型理论：新哲学逻辑的前景: 9780198853404
【3-4周达】Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy [9780198853404]
