Three Views of Logic (Mathematics, Philosophy, and Computer Science) || Part 1. Proof Theory
Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G.
- 作者Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G.
- 文件大小431.16KB
- 发表时间2014
- DOI10.1515/9781400848751-003
- 页码1-92