关注微信公众号查券更方便
【4周达】Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions [9783642228063]