計算機科学入門
410.9
84
詳　細
計算機科学入門

Ｍ．アービブ／〔ほか〕共著 -- サイエンス社 -- １９８４．１１

（画像取得中）
（画像なし）

ゲーデルの世界
410.9
85
詳　細
ゲーデルの世界

広瀬健，横田一正／著 -- 海鳴社 -- １９８５．５

（画像取得中）
（画像なし）

公理論的集合論
410.9
85
詳　細
公理論的集合論

西村敏男，難波完爾／著 -- 共立出版 -- １９８５．４

（画像取得中）
（画像なし）

証明の読み方・考え方
410.9
85
詳　細
証明の読み方・考え方

ダニエル・ソロー／著 -- 共立出版 -- １９８５．６

（画像取得中）
（画像なし）

数学がみえてくる
410.9
85
詳　細
数学がみえてくる

田村二郎／著 -- 岩波書店 -- １９８５．３

（画像取得中）
（画像なし）

組合せ論入門
410.9
86
詳　細
組合せ論入門

Ｇ．ポリア／〔ほか〕著 -- 近代科学社 -- １９８６．９

（画像取得中）
（画像なし）

集合と位相
410.9
86
詳　細
集合と位相

内田伏一／著 -- 裳華房 -- １９８６．１１

（画像取得中）
（画像なし）

無限と心
410.9
86
詳　細
無限と心

ラディー・ラッカー／著 -- 現代数学社 -- １９８６．５

（画像取得中）
（画像なし）

計算量の理論
410.9
87
詳　細
計算量の理論

笠井琢美／著 -- 近代科学社 -- １９８７．４

（画像取得中）
（画像なし）

集合・位相・距離
410.9
87
詳　細
集合・位相・距離

梅垣寿春／〔ほか〕著 -- 共立出版 -- １９８７．４

（画像取得中）
（画像なし）

数学基礎概説
410.9
87
詳　細
数学基礎概説

大芝猛／著 -- 共立出版 -- １９８７．１０

（画像取得中）
（画像なし）

数理論理学とタイプ理論
410.9
87
詳　細
数理論理学とタイプ理論

Ｐｅｔｅｒ　Ｂ．Ａｎｄｒｅｗｓ／著 -- 丸善 -- １９８７．１２

（画像取得中）
（画像なし）

プログラミングによる計算可能性理論
410.9
87
詳　細
プログラミングによる計算可能性理論

Ａ．クフォーリ／〔ほか〕共著 -- サイエンス社 -- １９８７．１２

（画像取得中）
（画像なし）

計算論とオートマトン理論
410.9
88
詳　細
計算論とオートマトン理論

Ａ．サローマ／著 -- サイエンス社 -- １９８８．１０

（画像取得中）
（画像なし）