Proof theory /

Saved in:
书目详细资料
主要作者: Takeuti, Gaisi, 1926-
格式: 图书
语言:English
出版: Amsterdam : North-Holland Pub. Co., 1975.
丛编:Studies in logic and the foundations of mathematics ; v. 81
主题:

CARM 1 Store

持有资料详情 CARM 1 Store
索引号: A3:AR07E0 C11148
复印件 1 可用  预订