libcats.org
Главная

Logic colloquium '96: Proc. San Sebastian

Обложка книги Logic colloquium '96: Proc. San Sebastian

Logic colloquium '96: Proc. San Sebastian

, ,
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.
Популярные книги за неделю:
Только что пользователи скачали эти книги: