×

zbMATH — the first resource for mathematics

Found 1,080 Documents (Results 1–100)

100
MathJax
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 297-312 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 343-351 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 203-234 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
MSC:  03-02 03Exx 03A05
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Mathematics. Singapore: Springer (ISBN 978-981-13-9948-0/pbk; 978-981-13-9949-7/ebook). xiv, 122 p. (2019).
MSC:  03-02 03F35 03F40
PDF BibTeX XML Cite
Full Text: DOI
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 555-565 (2018).
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