Book noticeDavid Hilbert and Paul Bernays: Grundlagen der mathematik I. Foundations of mathematics I. Part A. Edited by Wirth, Claus-Peter, Jörg Siekmann, Michael Gabbay, and Don Gabbay. Commented translation by Claus-Peter Wirth. London: College Publications, 2011, lxiii+xv+44pp.+Appendix, £14.50 PB

被引：0

作者：

Vassilis Sakellariou

机构：

[1] University of Athens,Department of Philosophy and History of Science

来源：

关键词：

Systematic Proof; Proof Theory; Axiomatic Theory; Axiomatic Method; Foundational Issue;

D O I：

10.1007/s11016-012-9675-0

中图分类号：

学科分类号：

摘要：

引用

页码：777 / 778

页数：1