关注微信公众号查券更方便
【预订】Gentzen’s Centenary
预订 Gentzen Calculi for Modal Propositional Logic
海外直订Where Is the G?del-Point Hiding: Gentzen's Consistency Proof of 1936 and His Rep G在哪里?德尔点隐藏
【4周达】Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathem... [9783319825021]
【4周达】Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathem... [9783319421193]
【4周达】Gentzen's Centenary : The Quest for Consistency [9783319101026]
【4周达】Gentzen Calculi for Modal Propositional Logic [9789400734425]
【4周达】Gentzen Calculi for Modal Propositional Logic [9789048196692]
【4周达】Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation... [9783319021706]
R-演算 一种信念修正的逻辑 Gentzen推理系统 信念修正算子信念修正人工智能研究讨论书籍 科学出版社 李未 眭跃飞著
![【4周达】Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathem... [9783319825021]](/Public/skin2/static/tqkpc/images/grey.gif)
