×

找到3个文档(结果1-3)

时间逻辑。第2卷。数学基础和计算方面。 (英语) Zbl 1014.03006号

牛津逻辑指南. 40. 纽约州纽约市:牛津大学出版社。xiv,597页(2000年)。
PDF格式BibTeX公司 XML格式引用

时间逻辑。第1卷。数学基础和计算方面。 (英语) Zbl 0921.03023号

牛津逻辑指南. 28. 牛津:克拉伦登出版社。xiv,653页(1994年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段