机译:Stefania Centrone,Deborah Kant,Deniz Sarikay编辑。关于数学基础的思考:单价基础,集合论和一般思想
机译:朱丽叶·肯尼迪(Juliette Kennedy)和罗曼·科萨克(Roman Kossak)编辑。集合论,算术和数学基础:定理,哲学
机译:寻找数学根源(1870-1940年):逻辑,设定论和从坎托尔到罗素再到格德尔的数学基础
机译:简介–从类型论和同伦论到单价基础
机译:单价数学基础
机译:法律形式:康德道德理论的实用原则和基础
机译:置信结构理论的数学基础
机译:同伦型理论:数学的单价基础