×

zbMATH — the first resource for mathematics

Found 4,151 Documents (Results 1–100)

100
MathJax
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 73-105 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Coskey, Samuel (ed.) et al., Trends in set theory. Simon Fest conference in honor of Simon Thomas’s 60th birthday, Rutgers University, Piscataway, New Jersey, USA, September 15–17, 2017. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4332-0/pbk; 978-1-4704-5609-2/ebook). Contemporary Mathematics 752, 175-189 (2020).
MSC:  03E15 03E45 03E60
PDF BibTeX XML Cite
Full Text: DOI
Coskey, Samuel (ed.) et al., Trends in set theory. Simon Fest conference in honor of Simon Thomas’s 60th birthday, Rutgers University, Piscataway, New Jersey, USA, September 15–17, 2017. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4332-0/pbk; 978-1-4704-5609-2/ebook). Contemporary Mathematics 752, 93-111 (2020).
MSC:  03E45 03E55 03E65
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Mathematics and Statistics 35. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-881-9/hbk; 978-1-68173-879-6/pbk; 978-1-68173-880-2/ebook). xv, 233 p. (2020).
MSC:  03-01
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer (ISBN 978-3-030-30228-3/hbk; 978-3-030-30231-3/pbk; 978-3-030-30229-0/ebook). Trends in Logic – Studia Logica Library 53, 29-54 (2020).
MSC:  03E 06A
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