×

zbMATH — the first resource for mathematics

Found 33 Documents (Results 1–33)

100
MathJax
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 123-154 (2020).
MSC:  03Bxx
PDF BibTeX Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 307-321 (2011).
MSC:  03A05 03B45 03-03
PDF BibTeX Cite
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 411-433 (2010).
MSC:  03B47
PDF BibTeX Cite
Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 196-209 (2009).
MSC:  03B62
PDF BibTeX Cite
Full Text: DOI
Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 73-92 (2005).
MSC:  03B45 03B42 68T27
PDF BibTeX 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, 327-349 (1994).
MSC:  03B70 03B45
PDF BibTeX Cite
Algebra, Logic and Applications, 2. New York etc.: Gordon and Breach Science Publishers. xiii, 443 p. (1989).
PDF BibTeX Cite

Filter Results by …

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