Logic colloquium '96: proceedings of the colloquium held in san sebastián, spain, july 9–15, 1996
Éditeur :
Cambridge University Press
ISBN :
9781107166080
Date de publication :
2 mars 2017
Dimensions :
23,5 x 15,7 x 2,5 cm
Poids :
500 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.