Introduction to metamathematics - 暨南大学图书馆


名称	Introduction to metamathematics

索引号	O141.2/E601
分类号	O141.2 O141.2(证明论) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	Kleene、 Stephen Cole、 1909-、
出版社	Amsterdam : North-Holland Pub. Co. : Groningen : P. Noordhoff N.V., 1952.
ISBN
页数	x, 550 p. ; 24 cm.
价格
标签
简介
注解	Includes index.