机译:更新逻辑主义:数学和计算机科学的逻辑基础
机译:2018年计算机科学的逻辑基础由佛罗里达州佛罗里达州佛罗里达州符号逻辑Deerfield海滩协会合作,2018年1月8日至11日
机译:逻辑,数学和计算机科学:具有实际应用的现代基础(第二版)
机译:逻辑和数学基础-计算机科学和密码学的应用
机译:摇摇欲坠的基础还是突破性的重组?对KurtGödel对逻辑,数学和计算机科学的影响的百年评估
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:奎因数学逻辑新基础中的选择公理
机译:论逻辑常数的含义和逻辑律的合理化(逻辑和数学基础)