Model-theoretic logics - 暨南大学图书馆


名称	Model-theoretic logics

索引号	O141.1/E901
分类号	O141.1 O141.1(命题演算-谓词演算-类演算-演算) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者
出版社	New York : Springer-Verlag, c1985.
ISBN
页数	xviii, 893 p. ; 25 cm.
价格
标签
简介
注解