>>170
何が知りたいかによりますが
初心者には、タブロー法が書かれてる本がいいと思いますね
タブロー法が理解できれば、述語論理の完全性定理も
理解できるんじゃないでしょうか？

ちなみにゲーデルの不完全性定理は
狭義の論理学ではなく自然数論の定理です