Formal systems and recursive functions : proceedings /

Formal systems and recursive functions : proceedings /

Saved in:
书目详细资料
企业作者: Logic Colloquium Oxford, England, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science, Symposium on Recursive Functions
其他作者: Crossley, John N., Dummett, Michael A. E.
格式: 会议录 图书
语言:English
出版: Amsterdam : North-Holland Pub. Co., 1965.
丛编:Studies in logic and the foundations of mathematics
主题:
Logic, Symbolic and mathematical.
Recursive functions.

CARM 1 Store

持有资料详情 CARM 1 Store
索引号: A2:AQ24B0 C08535
复印件 1 可用  预订

相似书籍