MARC状态:已编 文献类型:西文图书 浏览次数:47
- 题名/责任者:
- Two papers on the predicate calculus / by S.C. Kleene.
- 出版发行项:
- Providence, R.I. : American Mathematical Society, 1952.
- 载体形态项:
- 68 p. ; 26 cm.
- 丛编说明:
- Memoirs of the American Mathematical Society ; no. 10.
- 个人责任者:
- Kleene, Stephen Cole, 1909-
- 论题主题:
- Calculus.
- 中图法分类号:
- O141
- 一般附注:
- Cover title.
- 书目附注:
- Includes bibliographical references (p. 67-68)
- 内容附注:
- Permutability of inferences in Gentzen's calculi lk and lj. -- Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.
- 随书光盘:
全部MARC细节信息>>