大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Manaster 的图书(共1本)

Completeness, compactness, and undecidability : an introduction to mathematical logic

0
索取号:O14/E806
作者:Manaster、 Alfred B.、 1938-、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, [1975]
最近添加的分类