Logic Colloquium '96: "Proceedings Of The Colloquium Held In San Sebastián, Spain, July 9 15, 1996": Proceedings of the Colloquium Held in San ... July 9-15, 1996: 12 (Lecture Notes in Logic) - Softcover

Larrazabal, Jesus M.

Softcover

ISBN 10: 354064668X ISBN 13: 9783540646686

Publisher: Springer, 2013

Synopsis

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.

About this title

Synopsis

This volume contains 11 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 artificial languages, and include both recent results and survey articles on the central topics in logic written by written by specialists for a wide audience.

Edition details

• Publisher: Springer
• Publication date: 2013
• Language: English
• ISBN 10: 354064668X
• ISBN 13: 9783540646686
• Binding: Paperback
• Number of pages: 276