Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
Jesús M. Larrazabal, Daniel Lascar, Grigori Mints (eds.)
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.
Catégories:
Année:
1998
Editeur::
Springer
Langue:
english
Pages:
266
ISBN 10:
3662221101
ISBN 13:
9783662221105
Collection:
Lecture Notes in Logic 12
Fichier:
PDF, 7.25 MB
IPFS:
,
english, 1998