|
|
|
-
計算理論と数理論理学
-
-
書籍
-
田中一之 /
田中一之
-
共立出版
-
2022年6月発売 /
在庫なし
-
-
4,620円
-
Vポイント：21pt
-
-
|
|
|
|
-
山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌
-
-
書籍
-
田中一之 /
田中一之
-
日本評論社
-
2019年12月発売 /
1～3日で発送
-
-
2,750円
-
Vポイント：12pt
-
-
|
|
|
|
-
数学基礎論序説
-
-
書籍
-
田中一之 /
田中一之
-
裳華房
-
2019年6月発売 /
1～3日で発送
-
-
5,940円
-
Vポイント：27pt
-
-
|
|
|
|
-
逆数学
-
-
書籍
-
ジョン スティルウェル /
ジョン・スティルウェル
-
森北出版
-
2019年2月発売 /
在庫なし
-
-
3,960円
-
Vポイント：18pt
-
-
|
|
|
|
-
スマリヤン 数理論理学講義（下） 不完全性定理の先へ
-
-
書籍
-
レイモンド・Ｍ・スマリヤン /
田中一之
-
日本評論社
-
2018年9月発売 /
1～3日で発送
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
スマリヤン 数理論理学講義（上） 不完全性定理の理解のために
-
-
書籍
-
レイモンド・Ｍ・スマリヤン /
田中一之
-
日本評論社
-
2017年9月発売 /
1～3日で発送
-
-
4,400円
-
Vポイント：20pt
-
-
|
|
|
|
-
ロジックの世界
-
ブルーバックス
-
書籍
-
ダン クライアン /
ダン・クライアン
-
講談社
-
2015年3月発売 /
1～3日で発送
-
-
880円
-
Vポイント：4pt
-
-
|
|
|
|
-
チューリングと超－メタ－パズル
-
-
書籍
-
田中一之 /
田中一之
-
東京大学出版会
-
2013年12月発売 /
1～3日で発送
-
-
2,750円
-
Vポイント：12pt
-
-
|
|
|
|
-
ゲーデルに挑む
-
-
書籍
-
田中一之 /
田中一之
-
東京大学出版会
-
2012年5月発売 /
1～3日で発送
-
-
2,860円
-
Vポイント：13pt
-
-
|
|
|
|
-
ゲーデルの定理
-
-
書籍
-
トルケル フランセーン /
トルケル・フランセーン
-
みすず書房
-
2011年3月発売 /
在庫なし
-
-
3,850円
-
Vポイント：17pt
-
-
|
|
|
|
-
ゲーデルと20世紀の論理学 集合論とプラトニズム(4)
-
-
書籍
-
田中一之 /
田中一之
-
東京大学出版会
-
2007年7月発売 /
1～3日で発送
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
ゲーデルと20世紀の論理学 不完全性定理と算術の体系(3)
-
-
書籍
-
田中一之 /
田中一之
-
東京大学出版会
-
2007年3月発売 /
1～3日で発送
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
確かさを求めて
-
-
書籍
-
Ｍ． ジャキント /
マーカス・ジャキント
-
培風館
-
2007年2月発売 /
在庫なし
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
ゲーデルと20世紀の論理学 完全性定理とモデル理論(2)
-
-
書籍
-
田中一之 /
田中一之
-
東京大学出版会
-
2006年11月発売 /
1～3日で発送
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
ゲーデルと20世紀の論理学 ゲーデルの20世紀(1)
-
-
書籍
-
田中一之 /
田中一之
-
東京大学出版会
-
2006年7月発売 /
1～3日で発送
-
-
4,180円
-
Vポイント：19pt
-
-
|
JASRAC許諾番号 ：9036850001Y45040