Q611306
type: Item
instance of: scholarly article
title: 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
zbMATH Open document ID: 1213.03004
DOI: 10.1007/978-94-007-0431-2
published in: The Western Ontario Series in Philosophy of Science
publication date: 2010-12-14T00:00:00Z
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 18A15
zbMATH DE Number: 5826339
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-94-007-0431-2
OpenAlex ID: W574875491
label: 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
description: scientific article; zbMATH DE number 5826339