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

DOI10.1007/978-94-007-0431-2zbMath1213.03004OpenAlexW574875491MaRDI QIDQ611306

No author found.

Publication date: 14 December 2010

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0431-2

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Unnamed Item

This page was built for publication: 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