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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

証明論入門
410.9
88
詳　細
証明論入門

竹内外史，八杉満利子／共著 -- 共立出版 -- １９８８．２

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

ファジイ理論とその応用
410.9
88
詳　細
ファジイ理論とその応用

水本雅晴／著 -- サイエンス社 -- １９８８．２

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

帰納的関数
410.9
89
詳　細
帰納的関数

広瀬健／著 -- 共立出版 -- １９８９．２

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

組み合わせゲームの裏表
410.9
89
詳　細
組み合わせゲームの裏表

山崎洋平／著 -- シュプリンガー・フェアラーク東京 -- １９８９．３

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

計算理論と論理プログラミング
410.9
89
詳　細
計算理論と論理プログラミング

Ｍｅｌｖｉｎ　Ｆｉｔｔｉｎｇ／〔著〕 -- 丸善 -- １９８９．８

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

現代集合論入門
410.9
89
詳　細
現代集合論入門

竹内外史／著 -- 日本評論社 -- １９８９．１２

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

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

鎌田正良／著 -- 近代科学社 -- １９８９．３

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

真理・証明・計算
410.9
89
詳　細
真理・証明・計算

内井惣七／著 -- ミネルヴァ書房 -- １９８９．４

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