Ищу хороший учебник по математической логике или дискретной математике (неважно как называется), главное, чтобы включал как можно более полное описание логики предикатов и логики высказываний (с методом резолюций, функциями Сколема, доказательствами и примерами). И чтобы был хорошо написан - с объяснениями, а не только с формальными определениями.
Порекоммендуйте пожалуйста. Можно на русском или английском.
P.S. если кто-то разбирается хорошо в логике предикатов, то пишите в сообщения (нужно решить 1 задачу срочно).
