JavaScript を有効にしてご利用下さい.
文字サイズ
古書を探す
アダルト商品の検索を行う場合、18歳未満の方のご利用は固くお断りします。 あなたは18歳以上ですか?
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
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
4535782415
数学新書 第37
定理とその逆 : 数理論理学入門
東京図書、1962
数学新書 第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