文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
L. Pacholski
发表
The 0-1 law fails for the class of existential second order Godel sentences with equality
L. Pacholski, W. Szwast, 1989, 30th Annual Symposium on Foundations of Computer Science.