搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Richard Laver
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
Studies in Logic and the Foundations of Mathematics,1986, 引用: 6
Advances in Mathematics,1986, 引用: 7
Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic,1982, 引用: 9
Studies in logic and the foundations of mathematics,1982, 引用: 24
Archive for Mathematical Logic,2016, 引用: 0
