机译:替代逻辑时代。评估当今的逻辑和数学哲学
机译:Johan van Benthem,Gerhard Heinzmann,Manuel Rebuschi和Henk Visser编辑。替代逻辑的时代:当今评估逻辑和数学的哲学。逻辑,认识论和科学的统一; 3
机译:20世纪数学理性的变迁:保罗·曼科苏(Paolo Mancosu):理性的冒险:1900–1940年间,数学哲学与数学逻辑之间的相互作用。纽约:牛津大学出版社,2010,618pp,$ 81.52 HB
机译:保罗·曼科苏(Paolo Mancosu)。理性历险记:数学哲学与数学逻辑之间的相互作用,1900-1940年。牛津:牛津大学出版社,2010年。ISBN978-0-19-954653-4。 Pp。 ii + 618。
机译:数学哲学与模糊逻辑
机译:蕴涵,蕴含和替代逻辑。
机译:健康成人的动脉旋转标记磁共振成像:数学模型适合评估年龄相关的灌注模式
机译:电压优化单元的建模和实验测试活动:实验低压电网中单相有载分接开关的配电变压器的测试活动和不同控制逻辑的研究。