Reductive Logic and Proof-search

作者: David J. Pym / Eike Ritter
出版社: Clarendon Press
副标题: Proof Theory, Semantics, and Control
出版年: 2004-6-17
页数: 232
定价: USD 180.00
装帧: Hardcover
ISBN: 97801985263