Enderton, A mathematical introduction to logic

論理と集合論のビブリオグラフィーに、
Herbert B. Enderton A mathematical introduction to logic (2nd edition) Harcourt/Academic Press (2001)
を追加。