Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Logic Colloquium '96
- Proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996
part of the Lecture Notes in Logic series
- Binding:
- Hardback
- Pages:
- 269
- Published:
- March 1, 2017
- Dimensions:
- 157x235x25 mm.
- Weight:
- 500 g.
Delivery:
2-3 weeks
Expected delivery: December 15, 2024
Extended return policy to January 30, 2025
Description of Logic Colloquium '96
This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic.
User ratings of Logic Colloquium '96
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Logic Colloquium '96 can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
