×

zbMATH — the first resource for mathematics

Found 163 Documents (Results 1–100)

100
MathJax
Student Mathematical Library 87. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4290-3/pbk; 978-1-4704-4994-0/ebook). xiv, 207 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
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
Cooper, S. Barry (ed.) et al., Logic colloquium 2006. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Nijmegen, Netherlands, July 27–August 2, 2006. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11081-5/hbk). Lecture Notes in Logic 32, 328-360 (2009).
MSC:  03E10 03E40 03E57
PDF BibTeX XML Cite
Leivant, Daniel (ed.) et al., Logic, language, information and computation. 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73443-7/pbk). Lecture Notes in Computer Science 4576, 238-247 (2007).
MSC:  03F30 03E10
PDF BibTeX XML Cite
Full Text: DOI
Izv. Math. 71, No. 2, 219-245 (2007); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 71, No. 2, 2-28 (2007).
MSC:  03C62 03E30 03E55
PDF BibTeX XML Cite
Full Text: DOI
Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 172-205 (2006).
PDF BibTeX XML Cite
Full Text: arXiv
Enayat, Ali (ed.) et al., Nonstandard models of arithmetic and set theory. Proceedings of the AMS special session, Baltimore, MD, USA, January 15–16, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3535-1/pbk). Contemporary Mathematics 361, 71-86 (2004).
PDF BibTeX XML Cite
Russ. Math. Surv. 58, No. 4, 782-783 (2003); translation from Usp. Mat. Nauk 58, No. 4, 143-144 (2003).
MSC:  03C62 03E10
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 95-102 (1999).
PDF BibTeX XML Cite
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 61-64 (1999).
MSC:  03C62 03E35
PDF BibTeX XML Cite
Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 83-106 (1998).
Reviewer: P.Matet (Caen)
MSC:  03E65 03E55 03E35
PDF BibTeX XML Cite
Le Méhauté, Alain (ed.) et al., Surface fitting and multiresolution methods. Vol. 2 of the proceedings of the 3rd international conference on Curves and surfaces, held in Chamonix-Mont-Blanc, France, June 27-July 3, 1996. Nashville, TN: Vanderbilt University Press. 1-8 (1997).
MSC:  65D05 65Y05
PDF BibTeX XML Cite
Hanna, Alan (ed.), Proceedings of the 1st summer Galway topology colloquium, Galway, Ireland, July 1997. North Bay, ON: Topology Atlas, 4 p. (1997).
MSC:  54A10 03C62 54A25
PDF BibTeX XML Cite
Full Text: Link
Theory and Decision Library. Series B: Mathematical and Statistical Methods. 33. Dordrecht: Kluwer Academic Publishers. xiv, 265 p. (1996).
Reviewer: V.Novák (Ostrava)
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
Biographic Reference
all top 3
Software