Логика второго порядка

[Mitrius_Math]

Подскажите, пожалуйста, литературу по логике второго порядка (где кванторы можно навешивать по предикатным и функциональным переменным).

[Lia]

Оффтоп удален.

[alex_dorin]

Г. Такеути Теория доказательств

[Yuri Gendelman]

Mitrius_Math в сообщении #983700 писал(а):

Подскажите, пожалуйста, литературу по логике второго порядка

Peter Hinman. Fundamentals of Mathematical Logic (параграф 3.6)
Shapiro. Foundations without Foundationalism: A Case for Second-Order Logic

[Mitrius_Math]

Спасибо. Хотелось бы на русском языке. Кроме Такеути, пока ничего не нашёл.