Is there a good tutorial on predicate logic?

Question

IT education

I'm looking for a good textbook on mathematical logic or discrete mathematics (no matter what it's called), the main thing is to include as complete a description of predicate logic and propositional logic as possible (with the resolution method, Skolem functions, proofs and examples). And to be well written - with explanations, not just formal definitions.
Recommend please. Available in Russian or English.
PS if someone is well versed in the logic of predicates, then write in messages (you need to solve 1 problem urgently).