Kaiser, Lukasz.

Logic and games on Automatic structures: playing with quantifiers and decompositions\ Lukasz Kaiser. - New York Springer 2011 - xii;118p.:

paperback

9783642228063

005.131 / KAI