ENGLISH

Logic Colloquium 96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996

By Jesus M. Larrazabal , G. Mints , D. Lascar

Book information

Publisher
Springer
Year
1999
ISBN
9783540646686, 354064668X
Language
english
Format
PDF
Filesize
22 MB (23543280 bytes)
Series
Lecture Notes in Logic 12
Pages
276\276
Topic
Mathematics Logic
Time added
2011-06-04 13:46:07

Description

Proceedings of the Colloquium held in San Sebastian, Spain on July 9-15, 1996 focusing on Model, Proof, Recursion, & Complexity Theories, Models of Arithmetic, Logic for Artificial Intelligence, Formal Semantics of Natural Language, & Philosophy of Contemporary Logic.

Similar books