دانلود کتاب Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Problems