This document is unfortunately not available for download at the moment.
1-14
Hilbert and the internal logic of mathematics
Gauthier Yvon
15-52
53-64
Quantifying over the reals
Hugly Philip; Sayward Charles
65-120
Outline of a theory of scientific understanding
Schurz Gerhard; Lambert Karel
121-127
Review essay
Woleński Jan; Sandu Paul-Gabriel
Not implemented yet !