Outlines of a formalist philosophy of mathematics


名称	Outlines of a formalist philosophy of mathematics

索引号	O141.4/E601
分类号	O141.4 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	Curry、 Haskell B. (Haskell Brooks)、 1900-、
出版社	Amsterdam : North-Holland Pub. Co., 1951.
ISBN
页数	vii, 75 p. ; 22 cm.
价格
标签
简介
注解