Logic colloquium '96: Proc. San Sebastian
Jesus M. Larrazabal, Daniel Lascar, Grigori Mints
Proceedings of the Colloquium held in San Sebastian, Spain on July 9-15, 1996 focusing on Model, Proof, Recursion, & Complexity Theories, Models of Arithmetic, Logic for Artificial Intelligence, Formal Semantics of Natural Language, & Philosophy of Contemporary Logic.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.