Logic Colloquium `96
Subtitle: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996 (Lecture Notes in Logic , Vol 12)
Contributors: Jesus M. Larrazabal (Editor); D. Lascar (Editor); G. Mints (Editor)
Publisher: Springer-Verlag Telos
Published: January 15, 1999
Language: eng
Format: Paperback
Number of pages: 261
ISBN-13: 9783540646686
Subjects: Mathematical logic; Mathematics; Medical / Nursing; Science/Mathematics; General; Probability & Statistics - General; Logic
Description: This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.