机译:Giandomenico Sica,编辑。关于数学和逻辑基础的论文[1.1]。数学和逻辑高级研究。蒙扎:Polimetrica国际科学出版社,*2005。ISBN88-7699-014-3。 Pp。 351。
机译:Giandomenico Sica,编辑。关于数学和逻辑基础的论文[1.2]。数学和逻辑高级研究。蒙扎:Polimetrica国际科学出版社,*2005。ISBN88-7699-021-6。 Pp。 120。
机译:寻找数学根源(1870-1940年):逻辑,设定论和从坎托尔到罗素再到格德尔的数学基础
机译:亚里士多德在数学,逻辑和计算地区的基础中的特殊性的意义 - 图灵和宾夕法尼亚州的声音,合理,诠释
机译:NummSquared 2006a0进行了解释,包括为逻辑,数学和计算机科学建立的新的有充分基础的功能基础。
机译:奎因数学逻辑新基础中的选择公理
机译:Hermann Grassmann对Whitehead的逻辑和数学基础的贡献