×

zbMATH — the first resource for mathematics

Found 106 Documents (Results 1–100)

100
MathJax
Bernard Bolzano-Gesamtausgabe. Reihe I: Schriften 1. Stuttgart-Bad Cannstatt: Frommann-Holzboog Verlag (ISBN 978-3-7728-2290-2/hbk). 187 p. (2020).
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 197-208 (2018).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Klassische Texte der Wissenschaft. Berlin: Springer Spektrum (ISBN 978-3-662-45010-9/hbk; 978-3-662-45011-6/ebook). x, 344 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-662-54299-6/pbk; 978-3-662-54300-9/ebook). xi, 356 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Beiträge zur Bolzano-Forschung 27. Sankt Augustin: Academia Verlag (ISBN 978-3-89665-698-8/pbk). 173 p. (2016).
PDF BibTeX XML Cite
Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 399-407 (2014).
MSC:  00A30
PDF BibTeX XML Cite
Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013).
MSC:  00A30 00A35 03-03 01A60 01A61 03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-68346-4/pbk; 978-0-511-74094-7/ebook). x, 373 p. (2013).
PDF BibTeX XML Cite
Heidelberg: Springer Spektrum (ISBN 978-3-8274-2999-5/pbk; 978-3-8274-3000-7/ebook). 368 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Mathematik im Kontext. Heidelberg: Springer Spektrum (ISBN 978-3-642-29653-6/pbk; 978-3-642-29654-3/ebook). xiii, 376 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Princeton, NJ: Princeton University Press (ISBN 978-0-691-15574-6/hbk). xv, 142 p. (2012).
PDF BibTeX XML Cite
Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010).
PDF BibTeX XML Cite
Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). x, 373 p. (2010).
PDF BibTeX XML Cite
Berlin: Springer (ISBN 978-1-4419-0575-8/hbk; 978-1-4419-0576-5/ebook). viii, 294 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
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
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
Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 247-269 (2007).
PDF BibTeX XML Cite
Van Kerkhove, Bart (ed.) et al., Perspectives on mathematical practices. Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Berlin: Springer (ISBN 978-1-4020-5033-6/hbk). Logic, Epistemology, and the Unity of Science 5, 135-151 (2007).
MSC:  01A05 00A30
PDF BibTeX XML Cite
Full Text: arXiv
Kjeldsen, Tinne Hoff (ed.) et al., New trends in the history and philosophy of mathematics. Papers from the conference, University of Roskilde, Roskilde, Denmark, August 6–8, 1998. Odense: University Press of Southern Denmark (ISBN 87-7838-606-3/pbk). University of Southern Denmark Studies in Philosophy 19, 117-133 (2004).
MSC:  00A30
PDF BibTeX XML Cite
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 517-532 (2004).
PDF BibTeX XML Cite
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001. Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 1-28 (2004).
PDF BibTeX XML Cite
Moskva: Ehditorial URSS (ISBN 5-354-00387-3). 543 p. (2003).
PDF BibTeX XML Cite
Handbook of Philosophical Logic 9. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0699-3/hbk). xiii, 368 p. (2002).
PDF BibTeX XML Cite
Kampis, George (ed.) et al., Appraising Lakatos. Mathematics, methodology, and the man. Dordrecht: Kluwer Academic Publishers. Vienna Circ. Inst. Libr. 1, 157-187 (2002).
MSC:  00A30 00A79
PDF BibTeX XML Cite
Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000).
PDF BibTeX XML Cite
Ästhetik und Naturwissenschaften. Bildende Wissenschaften - Zivilisierung der Kulturen. Wien: Springer. 318 S. DM 69.00; öS 485.00; sFr. 63.00 (2000).
MSC:  01A80 00A30
PDF BibTeX XML Cite
Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 213-219 (1999).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 79-98 (1999).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13–20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 147-159 (1998).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Driessen, Alfred (ed.) et al., Mathematical undecidability, quantum nonlocality and the question of the existence of God. Dordrecht: Kluwer Academic Publishers. 3-14 (1997).
MSC:  00A30 03A05
PDF BibTeX XML Cite
Shanker, Stuart G. (ed.), Routledge history of philosophy. Vol. IX: Philosophy of science, logic and mathematics in the twentieth century. London: Routledge. 50-123 (1996).
PDF BibTeX XML Cite
Actualités Scientifiques et Industrielles 1412. Paris: Hermann, Éditeurs des Sciences et des Arts (ISBN 2-7056-1412-5). xxiv, 218 p. (1984).
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
all top 3
Software