[Studies in Logic and the Foundations of Mathematics] Computability, Complexity, Logic Volume 128 || Chapter E Logical Analysis of the Concept of Proof
- 作者,
- 文件大小1420.11KB
- 发表时间1989
- DOI10.1016/s0049-237x(08)70324-0
- 页码400-441
同作者推荐
On the geodetic aspects of the astrometry satellite HipparcosH. van der Marel; D.T. van Daalen · 1986
[Studies in Logic and the Foundations of Mathematics] Selected Papers on Automath Volume 133 || The Language Theory of Automathvan Daalen, D.T. · 1994
[Studies in Logic and the Foundations of Mathematics] Selected Papers on Automath Volume 133 || The Language Theory of Automath Chapter VIII, 1 and 2 (AUT-II)van Daalen, D.T. · 1994