| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 共立出版 |
| 出版年 | 2017.8 |
| 本文言語 | 日本語 |
| 大きさ | xi, 200p : 挿図 ; 21cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | ISBN | 資料種別 | 利用注記 | 請求メモ | 予約 |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/I 87 | 3000010998 | 9784320110724 | 図書 |
|
|
|
書誌詳細を非表示
類似資料
- 1 数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
- 2 証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
- 3 応用論理 / 桔梗宏孝著
- 4 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
- 5 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
- 6 数理論理学 / 鹿島亮著
- 7 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
- 8 数理論理学 / 松本和夫著
- 9 数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
- 10 1と0との物語 / 日野寛三著