Книга по исчислению предикатов

[arseniiv]

Обнаружил, что желаемой рядом нет. Хотелось бы почитать, посоветуйте! Особенно надо развеять туман насчёт того, какие обычно добавляются правила вывода и аксиомы, имеющаяся книга с поверхностным рассмотрением запутала.

(Хотел доказать эквивалентность двух «видов»

(имеется в виду)

С переходом $\forall n \left( P(n) \to P(Sn) \right)$ против $\forall n \left( \forall m \left( m \leqslant n \to P(m) \right) \to P(Sn) \right)$.

индукции — и застрял в самом начале!)

Спасибо заранее!

[wallflower]

Может Верещагин--Шень "Языки и исчисления"?

[arseniiv]

Спасибо!

[Sonic86]

Есть книги Игошина; Мендельсона; Новикова по матлогике. Правда про то, как там ИП изложено, я еще не знаю.