ゲーデル

QRコード(所蔵情報)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 図書ゲーデルの20世紀田中, 一之東京大学出版会	7 図書都市モデル論序説竹内, 光博日本経済評論社
2 図書ゲーデル未刊哲学論稿 Gödel, Kurt, 1906-1978, Rodríguez-Consuegra, Francisco A., 1951-, 好田, 順治(1927-) 青土社	8 図書直観主義的集合論竹内, 外史(1926-) 紀伊国屋書店
3 図書完全性定理とモデル理論田中, 一之東京大学出版会	9 図書数学的世界観 : 現代数学の思想と展望竹内, 外史(1926-) 紀伊國屋書店
4 電子ブック完全性定理とモデル理論田中, 一之東京大学出版会	10 図書現代集合論入門竹内, 外史(1926-) 日本評論社
5 図書不完全性定理とはなにか : ゲーデルとチューリングの考えたこと竹内, 薫(1960-) 講談社	11 図書層・圏・トポス : 現代的集合像を求めて竹内, 外史(1926-) 日本評論社
6 図書電子場の発散の解消と仮想光子モデル : 真空まで概念をひろげて竹内, 貞夫柏艪舎	12 図書無限小解析と物理学竹内, 外史(1926-) 遊星社, 星雲社(発売)