2017-02-13から1日間の記事一覧

数理論理学: ノート4

読んでいる本(出典): 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回: ノート3 / 次回: まだ 目次: 数理論理学以下、第5章後半の自分の理解。 最後の節(標準形)がまだ読めていないので、後でこの記事に加筆するか、新しい記事にまとめる。前回ま…