逆数学 : 定理から公理を「証明」する

フォーマット:
図書
責任表示:
ジョン・スティルウェル著 ; 川辺治之訳
言語:
日本語
出版情報:
東京 : 森北出版, 2019.2
形態:
viii, 217p : 挿図 ; 22cm
著者名:
書誌ID:
BB27733604
ISBN:
9784627054516 [4627054513]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 逆数学と2階算術

田中, 一之

河合文化教育研究所, 河合出版 (発売)
7 図書 群論の味わい : 置換群で解き明かすルービックキューブと15パズル

Joyner, David, 1959-, 川辺, 治之

共立出版
2 図書 数学基礎論講義 : 不完全性定理とその発展

田中, 一之, 鹿島, 亮, 角田, 法也, 菊池, 誠

日本評論社
8 図書 組合せゲーム理論入門 : 勝利の方程式

Albert, Michael H., Nowakowski, Richard J., Wolfe, David, 川辺, 治之

共立出版
3 図書 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より

田中, 一之

シュプリンガー・フェアラーク東京
9 図書 スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園

Smullyan, Raymond M., 1919-, 川辺, 治之

共立出版
4 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
10 図書 計算可能性・計算の複雑さ入門

渡辺, 治(1958-)

近代科学社
5 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
11 図書 ゲーデルと20世紀の論理学 (ロジック)

田中, 一之

東京大学出版会
6 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
12 図書 数学要項定理公式証明辞典

笹部, 貞市郎(1887-)

聖文社