論理と集合論のビブリオグラフィー

論理と集合論のビブリオグラフィー。

Herbert B. Enderton A mathematical introduction to logic
Dirk Van Dalen, Logic and Structure
林晋 『数理論理学』
にたいして、機能拡張。