What book gives a good presentation on universal/existential generalization/instantiation?

Question

What book gives a good presentation of Universal/Existential Generalization/instantiation?

I understand EI, EG and UI; however, I'm struggling with UG, I would like a book that gives a good presentation on all of them, and specially UG.

Thanks in advance.