| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : シュプリンガー・フェアラーク東京 |
| 出版年 | 1993.10 |
| 本文言語 | 日本語 |
| 大きさ | xiii, 336p ; 22cm |
書誌詳細を非表示
| 別書名 | 原タイトル:Grundlagen der Mathematik I,II |
|---|---|
| 一般注記 | 原著第2版(New York: Springer-Verlag, 1968-1970)の抄訳 |
| 著者標目 | Hilbert, David, 1862-1943 訳 <ヨシダ, ナツヒコ> Bernays, Paul, 1888-1977 訳 <フチノ, サカエ> 吉田, 夏彦(1928-) 渕野, 昌 |
| 件 名 | NDLSH:記号論理学 |
| 分 類 | NDLC:MA41 NDC8:410.96 |
| 書誌ID | 1000096961 |
| ISBN | 4431706542 |
類似資料
- 1 証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
- 2 応用論理 / 桔梗宏孝著
- 3 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
- 4 知識と推論 / 森下真一著
- 5 情報理論のための数理論理学 / 板井昌典著
- 6 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
- 7 数理論理学 / 鹿島亮著
- 8 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
- 9 数理論理学 / 松本和夫著
- 10 数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著