×

zbMATH — the first resource for mathematics

Found 365 Documents (Results 1–100)

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, 289-322 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-55910-0/pbk; 978-3-319-55911-7/ebook). Lecture Notes in Computer Science 10185, 231-246 (2017).
MSC:  03D05 03E55 03F40
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 222-233 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kennedy, Juliette (ed.), Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press (ISBN 978-1-107-00266-1/hbk; 978-0-511-75630-6/ebook). 153-179 (2014).
MSC:  03-03 01A60 03E35
PDF BibTeX XML Cite
Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 205-227 (2014).
MSC:  03E45 03E35 03E55
PDF BibTeX XML Cite
Full Text: arXiv
Chong, Chitat (ed.) et al., Infinity and truth. Based on talks given at the workshop, Singapore, July 25–29, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4571-03-6/hbk; 978-981-4571-05-0/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 25, 171-186 (2014).
MSC:  03B60
PDF BibTeX XML Cite
Full Text: DOI
Chong, Chitat (ed.) et al., Infinity and truth. Based on talks given at the workshop, Singapore, July 25–29, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4571-03-6/hbk; 978-981-4571-05-0/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 25, 1-24 (2014).
MSC:  03Exx 03F35
PDF BibTeX XML Cite
Full Text: DOI
Strüngmann, Lutz (ed.) et al., Groups and model theory. In honor of Rüdiger Göbel’s 70th birthday. Proceedings of the conference, conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany, May 30–June 3, 2011. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-6923-9/pbk; 978-0-8218-9098-1/ebook). Contemporary Mathematics 576, 205-215 (2012).
MSC:  20K10 20K25 03E35
PDF BibTeX XML Cite
Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 109-136 (2009).
MSC:  03E70 03E35
PDF BibTeX XML Cite
Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 87-110 (2008).
MSC:  03E70
PDF BibTeX XML Cite
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 533-547 (2004).
MSC:  03A05 03E35 03-03
PDF BibTeX XML Cite
Hušek, Miroslav (ed.) et al., Recent progress in general topology II. Based on the Prague topological symposium, Prague, Czech Republic, August 19-25, 2001. Amsterdam: Elsevier. 463-484 (2002).
PDF BibTeX XML Cite
Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 171-179 (2000).
PDF BibTeX XML Cite
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 61-64 (1999).
MSC:  03C62 03E35
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