第4章　述語論理の諸性質と一般化 4.1　ゲンツェンの LK 4.2　述語論理の諸性質 4.3　等号をもつ論理体系 4.4　関数記号の導入 付録　スコーレムの標準形とエルブランの定理 参考文献