×

zbMATH — the first resource for mathematics

Found 1,433 Documents (Results 1–100)

100
MathJax
Sib. Math. J. 62, No. 1, 131-137 (2021); translation from Sib. Mat. Zh. 62, No. 1, 164-172 (2021).
Reviewer: K. P. Hart (Delft)
PDF BibTeX XML Cite
Full Text: DOI
Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 259-287 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2256-1/pbk; 978-1-4704-4079-4/ebook). Contemporary Mathematics 690, 1-29 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 62, Article 25, 11 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16835-0/hbk; 978-1-316-71721-9/ebook). xi, 425 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16836-7/hbk; 978-1-316-71723-3/ebook). xlviii, 1020 p. (2016).
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
Software