×

zbMATH — the first resource for mathematics

Found 81 Documents (Results 1–81)

100
MathJax
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, 161-176 (2017).
MSC:  03E55 03E05 03E45
PDF BibTeX XML Cite
Full Text: DOI
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). xvi, 204 p. (2016).
PDF BibTeX XML Cite
de Gruyter Series in Logic and Its Application 1. Berlin: Walter de Gruyter (ISBN 978-3-11-019702-0/hbk; 978-3-11-021317-1/ebook). vi, 852 p. (2010).
PDF BibTeX XML Cite
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). v, 89 p. (2010).
PDF BibTeX XML Cite
Dordrecht: Springer (ISBN 978-1-4020-4843-2/hbk; 978-1-4020-5764-9/ebook). xiv, pp. 1-736/Vol. 1; xiv, pp. 737-1447/Vol. 2; xiv, pp. 1449-2197/Vol. 3. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 27-43 (2006).
PDF BibTeX XML Cite
University Lecture Series 32. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3604-8/pbk). x, 132 p. (2004).
PDF BibTeX XML Cite
Di Prisco, Carlos Augusto (ed.) et al., Set theory: techniques and applications. Proceedings of the conferences, Curaçao, Netherlands Antilles, June 26–30, 1995 and Barcelona, Spain, June 10–14, 1996. Dordrecht: Kluwer Academic Publishers. 207-212 (1998).
MSC:  03E05 03E45 03-02
PDF BibTeX XML Cite
Di Prisco, Carlos Augusto (ed.) et al., Set theory: techniques and applications. Proceedings of the conferences, Curaçao, Netherlands Antilles, June 26–30, 1995 and Barcelona, Spain, June 10–14, 1996. Dordrecht: Kluwer Academic Publishers. 183-198 (1998).
MSC:  03E45
PDF BibTeX XML Cite
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 157-175 (1994).
Reviewer: A.Tauts (Tallinn)
MSC:  03E55 03E45
PDF BibTeX XML Cite
Jahresbericht der DMV, Jubiläumstag., 100 Jahre DMV, Bremen/Dtschl. 1990, 265-280 (1992).
Reviewer: P.Matet (Caen)
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification