Generic Generalized Rosser Fixed Points
Dick H. J. de Jongh and Franco Montagna
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Dick H. J. de Jongh and Franco Montagna
- 卷第46卷
- 期第2期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小1428.48KB
- 发表时间1987
- DOI10.2307/20015307
- 页码193-203