搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Jindřich Zapletal
DOI: 10.2307/2586660
关键词:
摘要:
Logic Journal of the IGPL,2007, 引用: 0