These are conference proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in 1995, focussing in particular on set theory, model theory, finite model theory, proof theory and recursion theory.

Скачать книгу бесплатно (pdf, 33.29 Mb)

---

Читать «Logic Colloquium '95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 »