Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints9783540646686, 354064668X

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.