×

zbMATH — the first resource for mathematics

Found 605 Documents (Results 1–100)

100
MathJax
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
Student Mathematical Library 87. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4290-3/pbk; 978-1-4704-4994-0/ebook). xiv, 207 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Scheel, Katrin (ed.) et al., In memoriam Richard Dedekind (1831–1916). Number theory – algebra – set theory – history – philosophy. Proceedings of the conference, TU Braunschweig, Germany, October 6–8, 2016. Münster: WTM-Verlag (ISBN 978-3-95987-043-6/pbk). Schriften zur Geschichte der Mathematik und ihrer Didaktik 3, 174-185 (2017).
MSC:  01A55
PDF BibTeX XML Cite
De Gruyter Textbook. Berlin: De Gruyter (ISBN 978-3-11-051584-8/pbk; 978-3-11-051614-2/ebook). x, 332 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 409-425 (2016).
MSC:  03F15 03F30
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 319-338 (2016).
MSC:  03F35 03E30
PDF BibTeX XML Cite
Full Text: DOI
Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 33-41 (2016).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 455-478 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 131-176 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 281-291 (2015).
MSC:  03F30 03C62
PDF BibTeX XML Cite
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX XML Cite
Full Text: DOI
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications. 161-172 (2014).
MSC:  03A05 03F25 03F30
PDF BibTeX XML Cite

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