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.

Скачать книгу бесплатно (djvu, 1.97 Mb)

---

Читать «Logic colloquium '96: Proc. San Sebastian»