机译:从Tarski到Goedel-或如何在没有自我参照的情况下从无法确定的真理中得出第二个不完全性定理
Univ Utrecht Fac Humanities Philosophy Janskerkhof 13 NL-3512 BL Utrecht Netherlands;
formal theories; consistency; self-reference; truth;
机译:塔斯基定理和真理的可扩展性
机译:塔斯基(Tarski)如何定义无法定义
机译:无传递性的塔斯基不动点定理的模糊化
机译:用正向推理测量自动定理发现中定理的趣味性:以塔斯基几何为例
机译:完备定理和计算机程序,用于寻找从给定轴可推导的定理
机译:论塔斯基真理理论的应用
机译:我自己的真相。 :自我参照和相对真理的病态。