×

zbMATH — the first resource for mathematics

Found 1,516 Documents (Results 1–100)

100
MathJax
Mathematical Surveys and Monographs 248. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5462-3/pbk; 978-1-4704-6018-1/ebook). ix, 330 p. (2020).
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, 55-73 (2019).
MSC:  03F60 03E25
PDF BibTeX XML Cite
Full Text: DOI
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

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