机译:否定完全互动证明的逻辑(认知决定论的形式理论)
机译:否定完全互动证明的逻辑(认知决定论的形式理论)
机译:直觉互动证明的逻辑(完美知识转移的形式理论)
机译:Kurt G?Del在逻辑中的第一步:通过自然扣除系统进行算术和结构理论的正式证明
机译:动态认知逻辑中的示意图有效性:可判定性
机译:经验和逻辑学的形式研究。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:否定 - 完全交互式证明的逻辑(形式理论) 认知决策者)
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息