Ruth肯普森(编辑) 关于演绎和语言的特别问题。 (英语) Zbl 0826.00007 牛市。IGPL公司3,第2-3号,第160-527页(1995年)。 本卷的文章将在《公牛IGPL 3,第2-3号(1995)》杂志中单独评论。 MSC公司: 00年1月15日 杂项特定利益物品的收集 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 关键词:扣除;语言 PDF格式BibTeX公司 XML格式