>>524
そうですね
古森小野さんは証明論に近いですね。
リンデンバウム代数は青山の論理体系と代数モデルが詳しいです。
完全性定理も確かリンデンバウム代数で証明してます。
ちなみに>>523で想定していたモデルってのはもっと一般的な
LSの定理やコンパクト定理や構造の型や安定性や範疇性とかの話です。
>>525
他にも独立命題が色々紹介されてるのでおススメですね。