×

zbMATH — the first resource for mathematics

Found 179 Documents (Results 1–100)

100
MathJax
SpringerBriefs in Mathematics. Singapore: Springer (ISBN 978-981-13-9948-0/pbk; 978-981-13-9949-7/ebook). xiv, 122 p. (2019).
MSC:  03-02 03F35 03F40
PDF BibTeX XML Cite
Full Text: DOI
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 249-263 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Macpherson, H. Dugald (ed.) et al., Model theory in algebra, analysis and arithmetic. Cetraro, Italy 2012. Lectures of the CIME course, Cetraro, Italy, 2012. Heidelberg: Springer; Florence: Fondazione CIME (ISBN 978-3-642-54935-9/pbk; 978-3-642-54936-6/ebook). Lecture Notes in Mathematics 2111. CIME Foundation Subseries, 159-195 (2014).
MSC:  03D35 03F40 11U05
PDF BibTeX XML Cite
Full Text: DOI
München: Carl Hanser Verlag (ISBN 978-3-446-43683-1/hbk; 978-3-446-43649-7/ebook). 243 p. (2013).
MSC:  00A09 01A05 97A80 11A41 03F30 94A60
PDF BibTeX XML Cite
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, 257-276 (2013).
MSC:  03A05 03B53 03F40
PDF BibTeX XML Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 57-74 (2011).
MSC:  01A60 03-03
PDF BibTeX XML Cite
Flament, Dominique (ed.) et al., Justifier en mathématiques. Paris: Éditions de la Maison des Sciences de l’Homme (ISBN 978-2-7351-1414-6/pbk). 255-335 (2011).
PDF BibTeX XML Cite
DeVidi, David (ed.) et al., Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Berlin: Springer (ISBN 978-94-007-0213-4/hbk; 978-94-007-0214-1/ebook). The Western Ontario Series in Philosophy of Science 75, 135-152 (2011).
MSC:  03F40 03B25
PDF BibTeX XML Cite
Full Text: DOI
Bečvářová, Martina (ed.) et al., Matematika v proměnách véků. VI. Prague: Matfyzpress (ISBN 978-80-7378-146-0). Dějiny Matematiky / History of Mathematics 45, 175-185 (2010).
MSC:  03-03 01A60 03F40
PDF BibTeX XML Cite
Full Text: Link
Frankfurt am Main: Harri Deutsch (ISBN 978-3-8171-1822-9/pbk). vi, 204 p. (2009).
MSC:  00A05 00A35
PDF BibTeX XML Cite
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). 243-271 (2008).
MSC:  03A05 00A30 00A79
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). 117-140 (2008).
MSC:  03B35 68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 213-226 (2006).
MSC:  03F30 03F40
PDF BibTeX XML Cite
Full Text: DOI
Travaux de Logique. Centre de Recherches Sémiologiques 15. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. xii, 81 p. (2003).
PDF BibTeX XML Cite
Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000).
PDF BibTeX XML Cite
Mosc. Univ. Math. Bull. 54, No. 2, 41-43 (1999); translation from Vestn. Mosk. Univ., Ser. I 1999, No. 2, 60-62 (1999).
MSC:  03B10 03F30
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. 27-40 (1997).
MSC:  03D35 68T01 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. 15-25 (1997).
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
Biographic Reference