机译:第十五届亚洲逻辑会议是象征性逻辑国家数学科学研究所大田,韩国大田大川大田7月10日至14日的官方会议
机译:Johan van Benthem,Gerhard Heinzmann,Manuel Rebuschi和Henk Visser编辑。替代逻辑的时代:当今评估逻辑和数学的哲学。逻辑,认识论和科学的统一; 3
机译:逻辑是数学科学专业学生跨学科整合的关键
机译:安全难题所示:逻辑,数学和科学是不够的
机译:当隐喻迷惑时,类比说明,逻辑失败:关于在哲学和科学中使用隐喻推理的争议。
机译:数学肿瘤学:数学和物理科学如何促进乳腺癌战争?
机译:说明了一个安全难题:逻辑,数学和科学还不够
机译:安全难题说明:逻辑,数学和科学还不够