ログイン新規登録

メニュー

ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論

ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論

みんなの評価・レビューを見る

この本の所有者

放浪猫さん

1人が登録

978回参照

2014年6月9日に更新

詳細ページを見る Amazonで検索

書籍情報

ページ数:: 286ページ
参照数:: 978回
登録日:: 2014/06/04
更新日:: 2014/06/09
所有者:: 放浪猫さん

タグ

ゲーデル数学論理学

この本を共有する

X

読書履歴

2014/06/09 50ページ命題論理のタブロー規則

2014/06/04 32ページ 1階述語論理の完全性定理の証明

ログインが必要です

この本をレビューしたり、読書進捗を記録するにはログインが必要です。

放浪猫 Lv.12