Reihe Lecture Notes in Artificial IntelligenceLukasz Kaiser × Logic and Games on Automatic StructuresPlaying with Quantifiers and DecompositionsLukasz KaiserSpringer BerlinSoftcover2011 Logic and Games on Automatic StructuresPlaying with Quantifiers and DecompositionsLukasz KaiserSpringer BerlineBook2011