Goedel相关论文
Goedel被看作维也纳学派共同体成员，生前从未发表过批判断逻辑实证主义的文字，但新近出版的《Goedel全集》第三卷中公布的一些资料使......
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型......
