关注微信公众号查券更方便
现货 Proof Theory and Logic Programming Computation as Proof Search 证明论与逻辑式编程：以证明搜索为计算 9781009561297
Proof Theory and Logic Programming Computation as Proof Search 证明论与逻辑式编程：以证明搜索为计算 9781009561297
【3-4周达】精装 Proof Theory and Logic Programming: Computation as Proof Search [9781009561297]
