×

zbMATH — the first resource for mathematics

Found 518 Documents (Results 1–100)

100
MathJax
Lecture Notes in Logic 49. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-18299-8/hbk; 978-1-108-92022-3/4-vol. set). xv, 300 p. (2021).
MSC:  03-06 03Exx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 1, 29-39 (2020); translation from Kibern. Sist. Anal. 2020, No. 1, 35-48 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Références Sciences. Paris: Ellipses (ISBN 978-2-340-04100-4/pbk). viii, 292 p. (2020).
MSC:  03-01 03Bxx 03Exx
PDF BibTeX XML Cite
Contemporary Mathematics 752. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4332-0/pbk; 978-1-4704-5609-2/ebook). ix, 207 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 351-391 (2020).
MSC:  03Fxx 03Exx 03Dxx
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 189-219 (2020).
MSC:  03Exx 68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 29-54 (2020).
MSC:  03Exx 06Axx
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 61, No. 3, 516-527 (2020); translation from Sib. Mat. Zh. 61, No. 3, 654-668 (2020).
MSC:  03Bxx 03Exx
PDF BibTeX XML Cite
Full Text: DOI
Sib. Math. J. 61, No. 2, 222-232 (2020); translation from Sib. Mat. Zh. 61, No. 2, 283-296 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-12-0192-9/hbk; 978-981-12-0194-3/ebook). xi, 209 p. (2020).
MSC:  03-01 03Exx
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 53. Cham: Springer (ISBN 978-3-030-30228-3/hbk; 978-3-030-30229-0/ebook). x, 391 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Student Mathematical Library 89. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5272-8/pbk; 978-1-4704-5407-4/ebook). xi, 185 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
MSC:  03-02 03Exx 03A05
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-323-754-4/hbk; 978-981-323-756-8/ebook). xii, 297 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Unitext 111. La Matematica per il 3+2. Milano: Springer (ISBN 978-88-470-3967-4/pbk; 978-88-470-3968-1/ebook). xiii, 439 p. (2018).
MSC:  03-01 03F40 03Exx
PDF BibTeX XML Cite
Full Text: DOI
De Gruyter Studies in Mathematics 68, 1. Berlin: De Gruyter (ISBN 978-3-11-055008-5/hbk; 978-3-11-055094-8/ebook). xviii, 428 p. (2018).
MSC:  03-01 03Exx
PDF BibTeX XML Cite
Full Text: DOI
Tableau Noir 106. Paris: Calvage et Mounet (ISBN 978-2-91-635240-4/hbk). xx, 649 p. (2017).
MSC:  03-02 03Exx
PDF BibTeX XML Cite
Contemporary Mathematics 690. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2256-1/pbk; 978-1-4704-4079-4/ebook). xx, 322 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-1-4939-3222-1/hbk; 978-1-4939-3223-8/ebook). xii, 391 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Chong, Chitat (ed.) et al., Infinity and truth. Based on talks given at the workshop, Singapore, July 25–29, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4571-03-6/hbk; 978-981-4571-05-0/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 25, 1-24 (2014).
MSC:  03Exx 03F35
PDF BibTeX XML Cite
Full Text: DOI
Ontos Mathematical Logic 4. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). x, 413 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Lovász, László (ed.) et al., Erdős centennial. On the occasion of Paul Erdős 100th anniversary of his birth. Berlin: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-39285-6/hbk; 978-3-642-39286-3/ebook). Bolyai Society Mathematical Studies 25, 347-363 (2013).
MSC:  03-03 03-02 03Exx
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
London Mathematical Society Lecture Note Series 406. Cambridge: Cambridge University Press (ISBN 978-1-107-60850-4/pbk). 419 p. (2013).
MSC:  03-06 03Exx 00B25
PDF BibTeX XML Cite
Dieks, Dennis (ed.) et al., Probabilities, laws, and structures. Selected papers of four workshops organized by the ESF Research Networking Programme “The Philosophy of Science in a European Perspective” (PSE) in 2010. Dordrecht: Springer (ISBN 978-94-007-3029-8/hbk; 978-94-007-3030-4/ebook). The Philosophy of Science in a European Perspective 3, 419-429 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 37. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). xxii, 526 p. (2012).
PDF BibTeX XML Cite
Tributes 17. London: College Publications (ISBN 978-1-84890-055-4/pbk). xxiv, 459 p. (2011).
PDF BibTeX XML Cite
CIME Summer Schools 48. Berlin: Springer; Firenze: Fondazione CIME Roberto Conti (ISBN 978-3-642-11078-8/pbk; 978-3-642-11080-1/ebook). 285 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Contemporary Mathematics 533. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4812-8/pbk). xi, 330 p. (2011).
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-0-521-11514-8/hbk). x, 373 p. (2010).
PDF BibTeX XML Cite
de Gruyter Series in Logic and Its Application 1. Berlin: Walter de Gruyter (ISBN 978-3-11-019702-0/hbk; 978-3-11-021317-1/ebook). vi, 852 p. (2010).
PDF BibTeX XML Cite
Cahiers du Centre de Logique 17. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-974-0/pbk). 109 p. (2010).
PDF BibTeX XML Cite
Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). ix, 393 p. (2010).
PDF BibTeX XML Cite
Dordrecht: Springer (ISBN 978-1-4020-4843-2/hbk; 978-1-4020-5764-9/ebook). xiv, pp. 1-736/Vol. 1; xiv, pp. 737-1447/Vol. 2; xiv, pp. 1449-2197/Vol. 3. (2010).
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
Software