×

zbMATH — the first resource for mathematics

Found 32 Documents (Results 1–32)

100
MathJax
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, 307-337 (2014).
MSC:  03B15 03C85 03C98
PDF BibTeX XML Cite
Full Text: DOI arXiv
Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. Third international conference, TAMC 2006, Beijing, China, May 15–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34021-1/pbk). Lecture Notes in Computer Science 3959, 46-60 (2006).
MSC:  03D60 03D25
PDF BibTeX XML Cite
Full Text: DOI
Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 200-220 (2006).
MSC:  03D65 03E15
PDF BibTeX XML Cite

Filter Results by …

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