×

zbMATH — the first resource for mathematics

Found 845 Documents (Results 1–100)

100
MathJax
Münster: Univ. Münster, Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik (Diss.). x, 105 p. (2018).
PDF BibTeX XML Cite
Izv. Math. 82, No. 1, 61-90 (2018); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 82, No. 1, 65-96 (2018).
MSC:  03E15 03E35 03E40
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 33. Hackensack, NJ: World Scientific (ISBN 978-981-3223-51-6/hbk; 978-981-3223-53-0/ebook). x, 269 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 367-376 (2016).
MSC:  68N18 03B40 03E40 03G30 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 52, Article 17, 18 p. (2016).
MSC:  03F50 03B38 03E40
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
Biographic Reference
Software