Here you can find lists of great Proof books are or have been used to teach courses at Oxford.
By: Michael Huth
By: Richard Bornat