×

zbMATH — the first resource for mathematics

Found 682 Documents (Results 1–100)

100
MathJax
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018).
MSC:  03-03 03A05 01A60
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 305-316 (2017).
MSC:  03A05
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 273-287 (2017).
MSC:  03A05
PDF BibTeX XML Cite
Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3714-5/pbk; 978-1-4704-4323-8/set; 978-1-4704-4303-0/ebook). xi, 119 p. (2017).
PDF BibTeX XML Cite
J. Contemp. Math. Anal., Armen. Acad. Sci. 52, No. 5, 211-220 (2017); translation from Izv. Nats. Akad. Nauk Armen., Mat. 52, No. 5, 52-67 (2017).
MSC:  35H10 26C05
PDF BibTeX XML Cite
Full Text: DOI
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 284-298 (2017).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 223-251 (2016).
MSC:  03B45 03B20 03F05
PDF BibTeX XML Cite
Full Text: DOI
Encyclopedia of Mathematics and its Applications 163. Cambridge: Cambridge University Press (ISBN 978-1-107-04259-9/hbk; 978-1-107-61731-5/pbk; 978-1-107-33714-5/ebook). xviii, 348 p. (2016).
Reviewer: K. P. Hart (Delft)
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
all top 3
Software