×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
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, 377-408 (2006).
MSC:  03D75 03D45 68Q05 68Q65
PDF BibTeX XML Cite