Modern 1st Order Logic Book: Clear Exercises & Solutions

[tgt]

What would be such a book which is modern and clear with good excercises and solutions?

 

[MathematicalPhysicist]

I myself tried Elliot Mendelson's textbook, it doesn't have solutions to questions in it (as most textbooks in mathematical logic don't have).

Another textbook which (but) I haven't tried, but everything the author writes is truly gold, is first order logic by Raymond Smullyan, the magiclogician.