×

zbMATH — the first resource for mathematics

Found 284 Documents (Results 1–100)

100
MathJax
Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press (ISBN 978-0-19-927834-3/hbk). 154-173 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 95-120 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Bernard, Julien (ed.) et al., Weyl and the problem of space. From science to philosophy. Cham: Springer (ISBN 978-3-030-11526-5/hbk; 978-3-030-11527-2/ebook). Studies in History and Philosophy of Science (Dordrecht) 49, 125-159 (2019).
MSC:  03-03 01A60
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer (ISBN 978-3-662-57668-7/pbk; 978-3-662-57669-4/ebook). Lecture Notes in Computer Science 10944, 77-90 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Logic, Epistemology, and the Unity of Science 42. Cham: Springer (ISBN 978-3-319-74356-1/hbk; 978-3-319-74357-8/ebook). xiii, 170 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 343-358 (2015).
MSC:  03F35 03B20
PDF BibTeX XML Cite
Full Text: DOI
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 288-307 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Rowe, David E. (ed.) et al., A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer (ISBN 978-3-319-12029-4/hbk; 978-3-319-36594-7/pbk; 978-3-319-12030-0/ebook). Trends in the History of Science, 125-149 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Cuadernos de Lógica, Epistemología y Lenguaje 8. London: College Publications (ISBN 978-1-84890-175-9/pbk). xiii, 320. (2015).
PDF BibTeX XML Cite
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, 513-520 (2015).
MSC:  03A05 03F50
PDF BibTeX XML Cite
Full Text: DOI
Pereira, Luiz Carlos (ed.) et al., Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Dordrecht: Springer (ISBN 978-94-007-7547-3/hbk; 978-94-007-7548-0/ebook). Trends in Logic – Studia Logica Library 39, 193-241 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 93-107 (2014).
MSC:  03F55 05D10
PDF BibTeX XML Cite
Full Text: DOI
Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 1-49 (2013).
MSC:  03A05 03B15 03B30 03B35 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Libkin, Leonid (ed.) et al., Logic, language, information, and computation. 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39991-6/pbk). Lecture Notes in Computer Science 8071, 153-167 (2013).
MSC:  03G30
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer (ISBN 978-1-4471-4615-5/hbk; 978-1-4471-4616-2/ebook). xii, 875 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 45-67 (2012).
MSC:  03F55 00A30 03A05
PDF BibTeX XML Cite
Full Text: DOI
Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-3459-9/hbk). ix, 227 p. (2012).
PDF BibTeX XML Cite
Sommaruga, Giovanni (ed.), Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on “Foundational theories of mathematics”, Freiburg, Switzerland, October 11–12, 2006. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). The Western Ontario Series in Philosophy of Science 76, 209-225 (2011).
MSC:  03F50 03F55
PDF BibTeX XML Cite
Full Text: DOI
Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. IV: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-34-2/hbk; 978-81-85931-08-3/hbk; 978-981-4324-31-1/set; 978-981-4324-35-9/ebook). 3258-3291 (2011).
PDF BibTeX XML Cite
Full Text: Link
Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 59-73 (2010).
PDF BibTeX XML Cite
Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010).
PDF BibTeX XML Cite
Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03667-8/hbk). xiv, 602 p. (2010).
PDF BibTeX XML Cite
Ran, André (ed.) et al., European congress of mathematics. Proceedings of the 5th ECM congress, Amsterdam, Netherlands, July 14–18, 2008. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-077-7/hbk). 213-230 (2010).
MSC:  01A60 03-03
PDF BibTeX XML Cite
Lagakos, Stephen (ed.) et al., Recent advances in applied mathematics. Proceedings of the American conference on applied mathematics (AMERICAN-MATH ’10), Harvard University, Cambridge, MA, USA, January 27–29, 2010. Athens: WSEAS Press (ISBN 978-960-474-150-2). Mathematics and Computers in Science and Engineering, 378-381 (2009).
MSC:  03A05 00A30
PDF BibTeX XML Cite
He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 319 (2009).
MSC:  03B53
PDF BibTeX XML Cite
Full Text: DOI
Majer, Ondrej (ed.) et al., Games: Unifying logic, language, and philosophy. Berlin: Springer (ISBN 978-1-4020-9373-9/hbk; 978-1-4020-9374-6/e-book). Logic, Epistemology, and the Unity of Science 15, 153-208 (2009).
PDF BibTeX XML Cite
Lindström, Sten (ed.) et al., Logicism, intuitionism, and formalism. What has become of them? Originated from the conference and the symposium on constructive mathematics, Uppsala, Sweden, August 2004. Dordrecht: Springer (ISBN 978-1-4020-8925-1/hbk; 978-1-4020-8926-8/e-book). Synthese Library 341, 449-483 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Lupacchini, Rossella (ed.) et al., Deduction, computation, experiment. Exploring the effectiveness of proof. Including papers from the workshop held at the University of Bologna, Bologna, Italy, April 3–4, 2007. Berlin: Springer (ISBN 978-88-470-0783-3/pbk). 175-194 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Publications des Archives Henri Poincaré. Publications of the Henri Poincaré Archives. Basel: Birkhäuser (ISBN 978-3-7643-8652-8/hbk). xiii, 422 p. (2008).
PDF BibTeX XML Cite
Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 324-337 (2008).
PDF BibTeX XML Cite
Joray, Pierre (ed.), Contemporary perspectives on logicism and the foundation of mathematics. Based on the conference on contemporary perspectives on logicism, Neuchâtel, Switzerland, April 2005. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. Travaux de Logique. Centre de Recherches Sémiologiques 18, 1-14 (2007).
PDF BibTeX XML Cite
Studien zur Logik, Sprachphilosophie und Metaphysik 9. Frankfurt am Main: Ontos Verlag (ISBN 3-938793-31-7/hbk). 366 p. EUR 98.00/hbk; EUR 22.50/e-book (2006).
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