Similar Items

1. 1 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
2. 2 知識と推論 / 森下真一著
3. 3 数理論理学 / 林晋著
4. 4 情報科学のための論理数学 / 細井勉著
5. 5 ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
6. 6 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
7. 7 数理論理学入門 / 角田譲著
8. 8 数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
9. 9 証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
10. 10 情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著