>> Google Books
所蔵情報QRコード

逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳

資料種別:
図書
出版情報:
東京 : 森北出版, 2019.2
形態:
viii, 217p ; 22cm
著者名:
ISBN:
9784627054516 [4627054513]
書誌ID:
BB27733604
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 不完全性定理の先へ

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
7 図書 数の体系と超準モデル

田中, 一之

裳華房
2 図書 不完全性定理の理解のために

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
8 図書 1つの定理を証明する99の方法

Ording, Philip, 冨永, 星

森北出版
3 図書 数学基礎論講義 : 不完全性定理とその発展

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

日本評論社
9 図書 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

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

日本評論社
4 図書 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中, 一之

裳華房
10 図書 Aha!ひらめきの幾何学 : アルキメデスも驚くマミコンの定理

Apostol, Tom M., 1923-, Mnatsakanian, Mamikon A., 川辺, 治之

共立出版
5 図書 スマリヤン数理論理学講義

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
11 図書 公理と証明 : 証明論への招待

弥永, 昌吉(1906-2006), 赤, 攝也(1926-)

筑摩書房
6 図書 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より

田中, 一之

シュプリンガー・フェアラーク東京
12 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12