Hendricks, Vincent F. (ed.); Pedersen, Stig Andur (ed.); Jørgensen, Klaus Frovin (ed.) Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31–November 1, 1997. (English) Zbl 0995.00008 Synthese Library. 292. Dordrecht: Kluwer Academic Publishers. xii, 244 p. (2002). Show indexed articles as search result. The articles of this volume will be reviewed individually.Indexed articles:Hendricks, V. F.; Pedersen, S. A.; Jørgensen, K. F., Introduction, 1-7 [Zbl 1012.03518]Feferman, Solomon, Highlights in proof theory, 11-31 [Zbl 1013.03068]Corry, Leo, The empiricist roots of Hilbert’s axiomatic approach, 35-54 [Zbl 1012.03004]Rowe, David, The calm before the storm: Hilbert’s early views on foundations, 55-93 [Zbl 1031.01009]Sieg, Wilfried, Toward finitist proof theory, 95-114 [Zbl 1015.03004]van Dalen, Dirk, The development of Brouwer’s intuitionism, 117-152 [Zbl 1013.03003]Epple, Moritz, Did Brouwer’s intuitionistic analysis satisfy its own epistemological standards?, 153-178 [Zbl 1013.03002]Feferman, Solomon, The significance of Weyl’s Das Kontinuum, 179-194 [Zbl 1012.03005]Scholz, Erhard, Herman Weyl on the concept of continuum, 195-217 [Zbl 1012.03003]Feferman, Solomon, Relationships between constructive, predicative and classical systems of analysis, 221-236 [Zbl 1017.03036] MSC: 00B25 Proceedings of conferences of miscellaneous specific interest 03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations Keywords:Proof theory; Roskilde (Denmark); Conference; Proceedings PDFBibTeX XMLCite \textit{V. F. Hendricks} (ed.) et al., Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31--November 1, 1997. Dordrecht: Kluwer Academic Publishers (2002; Zbl 0995.00008)