Logic colloquium '95: proceedings of the annual european summer meeting of the association of symbolic logic, held in haifa, israel, august 9–18, 1995
Éditeur :
Cambridge University Press
ISBN :
9781107167902
Date de publication :
2 mars 2017
Dimensions :
23,5 x 15,8 x 2,8 cm
Poids :
700 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This volume presents the conference proceedings of the 1995 Annual European Summer Meeting of the Association of Symbolic Logic. The papers here cover all topics of classical mathematical logic. There is also a tutorial on recent developments in theoretical computer science, and plenary lectures on the foundation and evolution of set theory.