Jones,Neil D。(编辑);Hagiya,Masami(编辑);佐藤真彦(编辑) 逻辑、语言和计算。纪念佐托鲁·高须幸男。 (英语) Zbl 0825.00045号 计算机科学课堂讲稿792.柏林:斯普林格·弗拉格。xii,第269页,58.00德国马克;öS 452.40;sFr 58.00/sc(1994年)。 本卷的文章不会单独编入索引。 引用于7文件 MSC公司: 00B15号机组 杂项特定利益物品的收集 01A70号 传记、讣告、个人信息、参考书目 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词:逻辑;语言;计算 传记参考: 佐藤高须 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Jones}(编辑)等人,《逻辑、语言和计算》。纪念佐托鲁·高须幸男。柏林:施普林格(1994;Zbl 0825.00045)