2015 – ongoing Journals : Mathematical Reviews, Asian-European Journal of Mathematics, Computability, Erkenntnis, InternationalJournalofAlgebraandComputation, JournalofLogicandCom- putation, Logic Journal of the IGPL, Logique et Analyse, Manuscripto, Tsinghua Science and Technology, Analytical and Philosophical Explanation Conference proceedings : Computability in Europe, Aspects of计算,自动扣除额资助机构会议:比利时国家科学研究基金会,波兰国家科学奖:逻辑妇女妇女奖和科学哲学奖2024,Paolo Gentilini奖2024
主要关键词