本課程的主題是述詞邏輯(predicate logic)。我們將介紹述詞邏輯形式化、述詞邏輯的語意學、述詞邏輯的證明系統、基本的後設邏輯定理如健全性(soundness)以及完備性(completeness)等。