Department of Computer Science, University of Bremen, Germany;
Department of Computer Science, University of Liverpool, UK;
机译:至关重要的反数学和新兴生命科学的本体论:来自Mandeville到Diderot
机译:第十五届亚洲逻辑会议是象征性逻辑国家数学科学研究所大田,韩国大田大川大田7月10日至14日的官方会议
机译:Johan van Benthem,Gerhard Heinzmann,Manuel Rebuschi和Henk Visser编辑。替代逻辑的时代:当今评估逻辑和数学的哲学。逻辑,认识论和科学的统一; 3
机译:生命科学本体的数学逻辑
机译:从数学构造性到计算机科学:艾伦·图灵,约翰·冯·纽曼和数学逻辑学中的计算机科学起源。
机译:实验生命科学中的细胞(CELLS-2018):通过本体论获取正常细胞和患病细胞的知识
机译:生命科学本体论的数学逻辑