$90.00 CAD
pp.261.paperback edition.”The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. “
In stock
| ISBN | 354064668X | |
|---|---|---|
| ISBN13 | 9783540646686 | |
| Number of pages | 261 | |
| Original Title | Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996 (Lecture Notes in Logic) | |
| Published Date | 1998 | |
| Book Condition | Very good | |
| Jacket Condition | No Dustjacket | |
| Binding | Paperback | |
| Size | 8vo | |
| Place of Publication | berlin | |
| Edition | First edition | |
| Category: | Texts | |
| Authors: | D Lascar, G Mints, J M Larrazabel | |
| Publisher: | Springer |
pp.261.paperback edition.”The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. “
| Weight | 1.1 kg |
|---|
