×

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

实闭场和微分方程上的量词消去。 (英语) Zbl 1137.03016号

Löwe,Benedikt(编辑),代数,逻辑,集合论。Festschrift für Ulrich Felgner祖姆65岁。格伯茨塔格。伦敦:国王学院出版物(ISBN 1-904987-28-1/hbk)。《逻辑研究》(伦敦)4291-311(2007)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份