ユーザー登録(無料)ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 [405回参照されました]
放浪猫さん がこの本を手に取りました。放浪猫さんは、これまでに11冊の本を読み、2,361ページをめくりました。
本の紹介
18% [全286ページ(残り236ページ)]
状態 読んでいるところ
積ん読時間：積ん読1年以上
著者 ブックリンクされた本
-評価
未評価感想
読書の軌跡
| 32ページ | 2014/06/04 22:14:00 | 1階述語論理の完全性定理の証明 |
| 50ページ | 2014/06/09 23:57:37 | 命題論理のタブロー規則 |
コメント
コメントするにはログインが必要です。
