zbMATH — the first resource for mathematics

Found 54 Documents (Results 1–3)

Sommaruga, Giovanni (ed.), 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. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). The Western Ontario Series in Philosophy of Science 76, 171-186 (2011).
MSC:  03A05 03G30 18A15
BibTeX Cite
Full Text: DOI
Hart, Bradd (ed.) et al., Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18--20, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7281-9/pbk). CRM Proceedings and Lecture Notes 53, 169-175 (2011).
MSC:  83A05 18E05
BibTeX Cite

Filter Results by …

Document Type
Reviewing State
Year of Publication