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.
