机译:祈使逻辑的新基础:纯粹祈使推理
机译:祈使逻辑的新基础III:论证有效性的一般定义
机译:绝对命令:范畴理论作为道义逻辑的基础
机译:北约的固有困境:战略势在先生与价值基础
机译:联合国际IMEKO TC1 + TC7 + TC13研讨会:用数学模型测量的基础
机译:作业演算:一种纯粹的命令式推理语言。
机译:英国对胎儿心率减速的解释的改革势在必行:FIGO和NICE指南真相后基础认知谬误神话和奥卡姆剃刀的分析
机译:指令逻辑的新基础III:论证有效性的一般定义*
机译:任务级编程的命令式语言:时态逻辑中的定义