机译:Godel同态作为Godel模态运算符
Gudrunstrasse 5/1/15, 1110 Vienna, Austria;
godel logic; superintuitionistic logic; modal logic; truth stressers.;
机译:K-Esultence理论中的戈德尔和戈德尔型宇宙
机译:Brans-Dicke理论中的戈德尔和戈德尔型宇宙
机译:布朗-迪克理论中的戈德尔和戈德尔型宇宙
机译:使用真常数和等式,严格阶数,Delta运算符扩展Godel逻辑
机译:戈德尔的本体论论证。
机译:超声检查用于检测软骨钙化病的一种依赖于操作者的方式与双能计算机断层扫描(DECT):关于Tanikawa等人的研究
机译:Francesco Berto。关于戈德尔有些东西。 Malden,Mass。和牛津:Wiley-Blackwell,2009年。ISBN 978-1-4051-9766-3(HBK); 978-1-4051-9767-0(PBK)。 PP。 xx + 233.塔特蒂帕丽尔的英语翻译每位哥哥! (罗马:Gius,Laterza&Figli,2008)