Here you can find lists of great Logic books are or have been used to teach courses at the University of Toronto.
By: Herbert Enderton
By: Elliott Mendelson
By: Pavel Pudlák
By: Christopher C. Leary, Lars Kristiansen