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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.