MARC状态：审校 文献类型：西文图书 浏览次数：33
- 题名/责任者:
- Algebra of proofs / M. E. Szabo.
- 出版发行项:
- Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
- ISBN:
- 0720422868
- 载体形态项:
- xii, 297 p. ; 23 cm.
- 个人责任者:
- Szabo, M. E.
- 论题主题:
- Proof theory.
- 论题主题:
- Categories (Mathematics)
- 论题主题:
- Combinatory logic.
- 中图法分类号:
- O141.2
- 一般附注:
- Includes indexes.
- 书目附注:
- Bibliography: p. 278-284.
全部MARC细节信息>>