スウリロンリガクニュウモン
数理論理学入門 / 角田譲著
| Material Type | Books |
|---|---|
| Publisher | 東京 : 朝倉書店 |
| Year | 1996.6 |
| Language | Japanese |
| Size | ii, 211p ; 21cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/KA28 | 010016336 | 4254110626 | 図書 |
|
|
|
Hide details.
| Authors | 角田, 譲(1946-) |
|---|---|
| Subjects | BSH:記号論理学 |
| Classification | NDC8:410.96 NDC7:410.12 |
| ID | 1000071427 |
| ISBN | 4254110626 |
Similar Items
- 1 数理論理学 / 林晋著
- 2 情報科学のための論理数学 / 細井勉著
- 3 ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
- 4 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
- 5 応用論理 / 桔梗宏孝著
- 6 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
- 7 情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
- 8 知識と推論 / 森下真一著
- 9 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
- 10 数理論理学 / 鹿島亮著
Library Service