机译:卡萨里比较逻辑的证明理论
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:TorbenBraüner,《混合逻辑及其证明理论》,《应用逻辑》第37卷,施普林格,2011年,第XIII + 231页。书号:978-94-007-0001-7(精装)99,95欧元,书号:978-94-007-0002-4(电子书)99,99欧元
机译:机器检查证明理论:逻辑在逻辑中的应用
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:走向LOGCFL的富裕证明理论和相关主题(逻辑和计算结构的证明理论研究)
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息