K
K
KingOfNothing2014-01-12 14:57:10
IT education
KingOfNothing, 2014-01-12 14:57:10

Is there a good tutorial on predicate logic?

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).

Answer the question

In order to leave comments, you need to log in

Didn't find what you were looking for?

Ask your question

Ask a Question

731 491 924 answers to any question