×

zbMATH — the first resource for mathematics

Found 519 Documents (Results 1–100)

100
MathJax
Wiesbaden: Springer Spektrum (ISBN 978-3-662-62232-2/pbk). xviii, 541. (2021).
PDF BibTeX XML Cite
Lemanski, Jens (ed.), Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser (ISBN 978-3-030-33089-7/pbk; 978-3-030-33090-3/ebook). Studies in Universal Logic, 25-45 (2020).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Lemanski, Jens (ed.), Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser (ISBN 978-3-030-33089-7/pbk; 978-3-030-33090-3/ebook). Studies in Universal Logic, 15-24 (2020).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11456. Berlin: Springer (ISBN 978-3-662-59564-0/pbk; 978-3-662-59565-7/ebook). xiv, 353 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
AMS/MAA Textbooks 48. Providence, RI: MAA Press/American Mathematical Society (AMS) (ISBN 978-1-4704-5046-5/pbk; 978-1-4704-5047-2/ebook). xiv, 161 p. (2018).
PDF BibTeX XML Cite
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, 117-132 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Mathematics in Mind. Cham: Springer (ISBN 978-3-319-77687-3/hbk; 978-3-319-77688-0/ebook). ix, 117 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 101-119 (2017).
MSC:  03-03 01A45 03A05
PDF BibTeX XML Cite
Lecture Notes in Computer Science 10148. Berlin: Springer (ISBN 978-3-662-54331-3/pbk; 978-3-662-54332-0/ebook). xxviii, 355 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Edinburgh Advanced Textbooks in Linguistics. Edinburgh: Edinburgh University Press (ISBN 978-0-7486-4044-7/hbk; 978-0-7486-4043-0/pbk; 978-0-7486-7777-1/ebook). xi, 258 p. (2016).
PDF BibTeX XML Cite
Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 31-39 (2016).
MSC:  03A05 03B44 03B65
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications (ISBN 978-1-84890-213-8/pbk). 107-115 (2016).
MSC:  03A05 03B65
PDF BibTeX XML Cite
Logic, Epistemology, and the Unity of Science 39. Cham: Springer (ISBN 978-3-319-32614-6/hbk; 978-3-319-32616-0/ebook). xii, 187 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 109-125 (2015).
MSC:  03A05 03B65
PDF BibTeX XML Cite
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 270-289 (2015).
MSC:  68T50 03B65 81P10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 1-22 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 267-281 (2015).
MSC:  03-03 03B65 01A20
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
Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 167-177 (2014).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 729-747 (2014).
MSC:  03B65 03A05
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 8607. Berlin: Springer (ISBN 978-3-662-44115-2/pbk). x, 267 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-00118-0/hbk; 978-3-319-00119-7/ebook). xiv, 695 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 329-348 (2013).
MSC:  03A05 03B53
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-8348-1888-1/pbk; 978-3-8348-8632-3/ebook). xv, 423 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7415. Berlin: Springer (ISBN 978-3-642-31466-7/pbk). viii, 235 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7218. Berlin: Springer (ISBN 978-3-642-31481-0/pbk). xii, 482 p. (2012).
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