×

zbMATH — the first resource for mathematics

Found 848 Documents (Results 1–100)

100
MathJax
Mosc. Univ. Comput. Math. Cybern. 44, No. 1, 44-52 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 1, 47-55 (2020).
MSC:  93B53 93B50 93C05
PDF BibTeX XML Cite
Full Text: DOI
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 297-312 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 839-848 (2018).
MSC:  03F25 03F10 03F30
PDF BibTeX XML Cite
Full Text: DOI
Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser (ISBN 978-3-319-90855-7/hbk; 978-3-319-90983-7/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/Société Canadienne d’Histoire et de Philosophie des Mathématiques, 167-180 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software