Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on ``Foundational theories of mathematics'', Freiburg, Switzerland, October 11--12, 2006
scientific article; zbMATH DE number 5826339