ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
この本の所有者
1人が登録
1,097回参照
2014年6月9日に更新
読書履歴
2014/06/09
50ページ
命題論理のタブロー規則
2014/06/04
32ページ
1階述語論理の完全性定理の証明
AIが見つけた似た本
「ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論」の書誌情報と、 この本を読んだ人の本棚から、 近そうな本を1冊見つけました
84.5%
