19世紀の数学 1

数理論理学・代数学・数論・確率論 Mathematics of the 19th century. (改訂第2版)

A.N.Kolmogorov, A.P.Yushkevich 編 ; 三宅克哉, 小林昭七, 藤田宏･･･

341p 22cm

978-4-254-11741-7

Bit 24(6)(309)

共立出版 [編]、共立、1992-06

冊 28cm

Mathematical logic and applications '92 ＜数理解析研究所講究録＞

数理論理学とその応用

京都大学数理解析研究所、1993.1

ii,150p 26cm

ゲーデルの20世紀 ＜ゲーデルと20世紀の論理学 / 田中一之 編 1＞

田中一之 編、東京大学出版会、2006.7

228p 22cm

413064095X

スマリヤン数理論理学講義 上巻

A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC 不完全性定理の理解のために Raymond M.Smullyan Lectures on Mathematical Logic

レイモンド・M・スマリヤン 著 ; 田中一之 監訳 ; 川辺治之 訳、日本評論社、2017.9

363p 22cm

978-4-535-78772-8

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

Mathematical logic for beginners

山田俊行著、2018.7

vii, 131p 22cm

978-4-627-07801-7

バナッハ-タルスキーのパラドックス ＜岩波科学ライブラリー 165＞ 新版.

砂田利一 著、岩波書店、2009.12

113p 19cm

978-4-00-029565-9

みえる数学の世界 3

Энциклопедия для детей. (Т.11)

アナトリー・サヴィン ほか編 ; 山崎昇 監訳、大竹、2001.3

p540-713 26cm

4871860930

リーディングス数学の哲学 : ゲーデル以後

飯田隆 編監訳、勁草書房、1995.8

352p 22cm

4326101040

今度こそわかる論理 ＜今度こそわかるシリーズ＞

数理論理学はなぜわかりにくいのか

本橋信義 著、講談社、2014.9

137p 21cm

978-4-06-156606-4

位相と論理 ＜日評数学選書＞

田中俊一 著、日本評論社、2000.7

110p 22cm

4535601275

図説数学の事典 普及版.

:Kleine Enzyklopädie der Mathematik

W.Gellert, S.Gottwald, M.Hellwich, H.Kastner, H.Ku･･･

1248p 27cm

978-4-254-11135-4

図説数学の事典 新装版.

Kleine Enzyklopädie Mathematik Kleine Enzyklopadie der Mathematik

W.Gellert, S.Gottwald, M.Hellwich, H.Kastner, H.Ku･･･

1248p 27cm

978-4-254-11116-3

図説数学の事典

Kleine Enzyklopädie der Mathematik

W.Gellert ほか編 ; 藤田宏 ほか訳、朝倉書店、1992.12

1248p 22cm

4254110510

定理とその逆 : 数理論理学入門 ＜数学新書＞

Прямая и обратная теоремы элементы алгебры логики Pri︠a︡mai︠a︡ i obratni︠a︡ teoremy êlementy algebry logiki

グラドシュテイン著 ; 銀林浩訳、東京図書、1962

185p 19cm

岩波数学辞典 第2版

日本数学会 編、岩波書店、1968

1140p 図版 22cm

978-4-00-080309-0

幾何的モデル理論入門 : モデル理論の代数,数論幾何への応用

板井昌典 著、日本評論社、2002.9

282p 22cm

4535783276

情報理論のための数理論理学 ＜数学のかんどころ 31＞

Mathematical Logic for Informatics

板井昌典 著、共立、2017.8

200p 21cm

978-4-320-11072-4

情報科学における論理 ＜情報数学セミナー＞

小野寛晰 著、日本評論社、1994.4

297p 22cm

4535608148

情報科学のための論理数学 ＜日評数学選書＞

細井勉 著、日本評論社、1992.4

249p 22cm

4535601186

情報科学講座 A・2・3

共通基礎理論. 2 情報論理学 2 論理数学 3 順序論理回路

北川敏男 ほか編、共立、1978.7

128p 22cm

情報科学講座 A・2・1

共通基礎理論. 2 情報論理学 論理数学 1-数理論理学-

北川敏男 等編、共立、1975

206p 22cm

数学のロジックと集合論

田中一之, 鈴木登志雄 共著、培風館、2003.12

230p 21cm

4563003379

数学の哲学 ＜論理学古典選集 3＞

The philosophy of mathematics

ケルナー 著 ; 山本新 訳、公論社、1987.4

297p 20cm

4771487030

数学事典 : カラー図解

dtv-Atlas Mathematik.volume1 dtv-Atlas Mathematik.volume2

Fritz Reinhardt, Heinrich Soeder 著 ; Gerd Falk 図作 ･･･

10,491p 23cm

978-4-320-01896-9

数学基礎論講義 : 不完全性定理とその発展

田中一之 編・著 ; 鹿島亮 ほか著、日本評論社、1997.3

206p 22cm

4535782415

数学新書 第37

定理とその逆 : 数理論理学入門

東京図書、1962

185p 19cm

数学新書 第51

記号論理学入門

東京図書、1966

168p 19cm

数学最前線をになう挑戦者たち : 難問の解決、ゲーム理論の展開 ＜数学を切りひらいた人びと 5＞

Mathematics frontiers

マイケル・J.ブラッドリー 著 ; 松浦俊輔 訳、青土社、2009.5

205, 5p 20cm

978-4-7917-9175-0

数学的推論が世界を変える : 金融・ゲーム・コンピューター ＜NHK出版新書 394＞

小島寛之 著、NHK、2012.12

245p 18cm

978-4-14-088394-5