机译：论Herbrand建构逻辑的自然演绎II：一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译：Kurt G？Del在逻辑中的第一步：通过自然扣除系统进行算术和结构理论的正式证明
机译：自然演绎中Heyting算法的一致性
机译：使用超完备设置中的自然推论来解决不完整的系统规范
机译：灵活，自然演绎的自动推理机，可快速部署非经典逻辑
机译：绞痛性腹股沟斜疝的病例性质的调查被称为整体减少全盘减少；与实际病变的解剖结构有特殊关系以及从病例检查中得出的实际推论
机译：Gentzen的证明减法，Kirby-Paris的Hydra游戏和Buchholz的Hydra游戏之间的关系（初步报告）（算术中的数学不完整）
机译：切割规则的限制与自然演绎算法的一致性
