Bounded variable logics and counting: a study in finite models
Auteur :
Otto, Martin
Éditeur :
Cambridge University Press
ISBN :
9781107167940
Date de publication :
2 mars 2017
Dimensions :
23,5 x 15,8 x 1,8 cm
Poids :
400 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.