Logic Colloquium' 96Jesús M. Larrazabal
Logic Colloquium' 96
Jesús M. Larrazabal · 1998
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
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.
Book details
- Year
- 1998
- Language
- English
- Series
- Lecture Notes in Logic -- 12
- Publisher
- Springer Berlin Heidelberg
- Editions
- 1
- Pages
- 265
- ISBN
- 9783662221105
Data source: Wikidata