Logic colloquium '95: Proc. Haifa 1995
Johann A. Makowsky, Elena V. Ravve
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.
