×

zbMATH — the first resource for mathematics

Found 146 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). 277-278 (2020).
PDF BibTeX XML Cite
Full Text: DOI
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). 116-131 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Oxford: Oxford University Press (ISBN 978-0-19-880292-1/pbk). xi, 242 p. (2018).
MSC:  03-02 03A05 00A30
PDF BibTeX XML Cite
Full Text: DOI
Sialaros, Michalis (ed.), Revolutions and continuity in Greek mathematics. Berlin: De Gruyter (ISBN 978-3-11-056365-8/hbk; 978-3-11-056595-9/ebook). Science, Technology, and Medicine in Ancient Cultures 8, 295-318 (2018).
MSC:  01A20
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
Van Kerkhove, Bert (ed.) et al., Philosophical perspectives on mathematical practice. Papers from the 2nd perspectives on mathematical practices conference (PMP2007), Free University of Brussels, Brussels, March 26–28, 2007. London: College Publications (ISBN 978-1-904987-59-8/hbk). Texts in Philosophy 12, 155-183 (2010).
MSC:  00A30 00A35
PDF BibTeX XML Cite
Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03667-8/hbk). xiv, 602 p. (2010).
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, 47-68 (2009).
MSC:  03A05
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
Preyer, Gerhard (ed.) et al., Philosophy of mathematics. Set theory, measuring theories, and nominalism. Frankfurt: Ontos Verlag (ISBN 978-3-86838-009-5/hbk). LOGOS. Studien zur Logik, Sprachphilosophie und Metaphysik 13, 164-181 (2008).
MSC:  01A45 00A30
PDF BibTeX XML Cite
Preyer, Gerhard (ed.) et al., Philosophy of mathematics. Set theory, measuring theories, and nominalism. Frankfurt: Ontos Verlag (ISBN 978-3-86838-009-5/hbk). LOGOS. Studien zur Logik, Sprachphilosophie und Metaphysik 13, 93-111 (2008).
MSC:  03A05 00A30
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
Löwe, Benedikt (ed.) et al., Foundations of the formal sciences IV. The history of the concept of the formal sciences. Papers of the 4th conference, FotFS IV, Bonn, Germany, February 14–17, 2003. London: King’s College Publications (ISBN 1-904987-29-X/pbk). Studies in Logic (London) 3, 17-26 (2006).
MSC:  00A30 03A05
PDF BibTeX XML Cite
Logische Philosophie 14. Berlin: Logos Verlag; Erlangen-Nürnberg: Univ. Erlangen-Nürnberg (Dissertation 2003) (ISBN 3-8325-0747-7/pbk ). 193 p. (2004).
PDF BibTeX XML Cite
Symposion. Philosophische Schriftenreihe. 112. Freiburg/München: Verlag Karl Alber. 380 S. DM 98.00 (1998).
PDF BibTeX XML Cite

Filter Results by …

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