机译:MPL连续逻辑和基础规则为MPL的基于规则的专家系统的符号-数字方法
机译:Kurt G?Del在逻辑中的第一步:通过自然扣除系统进行算术和结构理论的正式证明
机译:后现代模糊集和模糊逻辑理论的Kabbalah逻辑和语义基础
机译:距离图的距离图受底层设定理论影响的距离图
机译:量子真理的本质:量子理论背景下的逻辑,集合论和数学。
机译:集合论逻辑和概率:将定性推理整合到定量生物学教学统计中
机译:计算的基础:具有集合理论和逻辑的系统开发作者:Thierry Scheurer。英格兰沃金厄姆的Addison-Wesley出版公司。 (1994)。 668页。 $ 42.95