机译:寻找数学根源(1870-1940年):逻辑,设定论和从坎托尔到罗素再到格德尔的数学基础
机译:Giandomenico Sica,编辑。关于数学和逻辑基础的论文[1.1]。数学和逻辑高级研究。蒙扎:Polimetrica国际科学出版社,*2005。ISBN88-7699-014-3。 Pp。 351。
机译:Giandomenico Sica,编辑。关于数学和逻辑基础的论文[1.2]。数学和逻辑高级研究。蒙扎:Polimetrica国际科学出版社,*2005。ISBN88-7699-021-6。 Pp。 120。
机译:使用抽象数学进行工程课程分类方案的第一年介绍数学建模的基础
机译:区间集的抽象数学系统。
机译:奎因数学逻辑新基础中的选择公理
机译:具有可数截面的解析集的统一化及相关结果