Two applications of logic to mathematics


名称	Two applications of logic to mathematics

索引号	O141/E8011
分类号	O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	Takeuti、 Gaisi、 1926-、
出版社	[Tokyo] : Iwanami Shoten ; [Princeton, N.J.] : Princeton University Press, 1978.
ISBN
页数	viii, 137 p. ; 24 cm.
价格
标签
简介
注解	Includes index.