The proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995. The papers discuss subjects such as: intervals without critical triples; Turing rigidity revisited; types and indiscernibles in finite models; and noninterpretability of infinite linear orders.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
