Mereology; Mereogeometry; Point; Solids; Balls; Coq;
机译:论Tarski对情境的公理化
机译:Tarski代数中广义Tarski滤波器的模糊化
机译:关于TATSKI型定点定理的一个注释
机译:基于COQ的焦油大小的实力造影仪的公理化
机译:Carnap,Tarski和Quine在一起的一年:逻辑,数学和科学
机译:Banach-Tarski悖论使用具有Baire属性的作品。
机译:基于Coq的Tarski mereogeometry实现