Книги про логику второго порядка.

[Yorick]

Наткнулся в книге Барвайса на упоминание "слабой логики второго порядка".
В других книгах встречал упоминания, но весьма скудные.
Что по про логику второго порядка и/или про слабую логику второго порядка рекомендуется прочитать в первую очередь?

[george66]

Это больной вопрос. Популярного изложения не знаю. Сам бы написал, но чтобы сделать это добросовестно, надо сначала дать определение подстановки и доказать её основные свойства, а для формул с кванторами (или термов с лямбдами) это мучительно трудно, что знают все специалисты, но как правило замалчивают. Если не ищете лёгких путей, почитайте эту книгу, она вообще хорошая
http://gen.lib.rus.ec/search.php?req=+P ... umn=author
Morten Heine Sorensen, Pawel Urzyczyn "Lectures on the Curry-Howard Isomorphism"
В книге Барвайза где-то в начале определены "язык второго порядка" и "слабый язык второго порядка".