スウリ ロンリガク
数理論理学 / 松本和夫著
| Material Type | Books |
|---|---|
| Publisher | 東京 : 共立出版 |
| Year | 2001.8 |
| Language | Japanese |
| Size | 2, 3, 192, 3p ; 22cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/Ma81 | 010298803 | 4320016823 | 図書 |
|
|
|
Hide details.
| Other titles | variant access title:復刊数理論理学 |
|---|---|
| Notes | 「共立講座現代の数学第7巻・数理論理学」 (増補版, 1971年刊) の復刊 参考書: p[191]-192 |
| Authors | 松本, 和夫(1922-) <マツモト, カズオ> |
| Subjects | BSH:記号論理学 |
| Classification | NDC8:410.96 NDC9:410.96 |
| ID | 1000077671 |
| ISBN | 4320016823 |
Similar Items
- 1 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
- 2 数理論理学 / 鹿島亮著
- 3 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
- 4 数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
- 5 1と0との物語 / 日野寛三著
- 6 記号論理・入門 / 上江洲忠弘著
- 7 計算論理入門 : 情報の数理 / 田中尚夫著
- 8 ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
- 9 数学と新しい論理 : 数学的帰納法をめぐって / 本橋信義著
- 10 ろんりと集合 / 中内伸光著
Library Service