25 元券Decompositions9783642228063QuantifiersStructures¥5120去看看澜瑞图书专营店发布了【4周达】Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions [9783642228063]