Finite and algorithmic model theory
Éditeur :
Cambridge University Press
ISBN :
9780521718202
Date de publication :
10 mars 2011
Dimensions :
22,6 x 15,3 x 1,8 cm
Poids :
520 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. The chapters include extensive bibliographies.