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

不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳

資料種別:
図書
出版情報:
東京 : 日本評論社, 2018.9
形態:
v, 312p ; 22cm
シリーズ名:
スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻 <BB26881140>
著者名:
ISBN:
9784535788510 [4535788510]
書誌ID:
BB26881355
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 不完全性定理の理解のために

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

日本評論社
7 図書 スマリヤン数理論理学 : 述語論理と完全性定理

Smullyan, Raymond M., 1919-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-)

丸善出版
2 図書 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

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

日本評論社
8 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
3 図書 スマリヤン不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-), 川辺, 治之, 村上, 祐子(1968-)

丸善出版
9 図書 スマリヤン数理論理学講義

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

日本評論社
4 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
10 図書 数学基礎論講義 : 不完全性定理とその発展

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

日本評論社
5 図書 不完全性定理

Gödel, Kurt, 1906-1978, 林, 晋(1953-), 八杉, 満利子(1937-)

岩波書店
11 図書 ゲーデル・不完全性定理 : “理性の限界"の発見

吉永, 良正(1953-)

講談社
6 図書 ゲーデルの不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-)

丸善
12 図書 逆数学 : 定理から公理を「証明」する

Stillwell, John, 川辺, 治之, 田中, 一之

森北出版
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12