Sorry for the late reply. I've never heard of the Al Roth book, but seems interesting. I'll check it out. I mostly became familiar with Mechanism Design when I took the first year microeconomics sequence in graduate school (basically one of the few departments this stuff is covered academically is in Economics). So my best reference that I can vouch for is, unfortunately, probably this: https://global.oup.com/ushe/product/microeconomic-theory-978...

There's also Matthew Jackson's book which might be better. I've read his class notes for other topics and I think he does a good job explaining: https://web.stanford.edu/~jacksonm/mechtheo.pdf