Computer Sciences Laboratory The Australian National University Canberra;
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:命题,动作和伴随模态逻辑的代数,证明理论及其应用
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:机器检查证明理论:逻辑应用于逻辑
机译:验证证明检查高阶逻辑
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:差分动态逻辑证明逻辑:朝着动态逻辑的独立检验
机译:检查一阶逻辑的元数学中的证明,