×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
Perspectives in Logic. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76614-2/hbk). xxii, 833 p. (2013).
MSC:  03-01 03B40 03B15 03D75 03B70
PDF BibTeX XML Cite
Studies in Logic (London) 40. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-066-0/pbk). xv, 621 p., E16. (2012).
PDF BibTeX XML Cite
Comon, Hubert (ed.), Rewriting techniques and applications. 8th international conference, RTA ’97, Sitges, Spain, June 2–5, 1997. Proceedings. Berlin: Springer (ISBN 978-3-540-62950-4/pbk; 978-3-540-69051-1/ebook). Lecture Notes in Computer Science 1232, 299-307 (1997).
MSC:  03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI