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

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

論文

メールで送信

宛先

件名

詳細情報

掲載資料
完全性定理とモデル理論, p.83-110

ブックマークを編集

リストを選択

メモ

リストを選択

ブックマークに登録

リストを選択

指定なし

メモ