田中一之 検索該当 14件

1ページ目
1 / 

※画像から詳細へリンクします※

商品画像

No.1
計算理論と数理論理学

価格 4620 円
発売日 2022-06-23
制作 共立出版
作者 田中一之
商品画像

No.2
数学基礎論序説 数の体系への論理的アプローチ

価格 5940 円
発売日 2019-06-30
制作 裳華房
作者 田中一之
商品画像

No.3
逆数学 定理から公理を「証明」する

価格 3960 円
発売日 2019-02-09
制作 森北出版
作者 田中一之 J.スティルウェル
商品画像

No.4
スマリヤン数理論理学講義 下巻

価格 4180 円
発売日 2018-09-21
制作 日本評論社
作者 田中一之

商品画像

No.5
スマリヤン数理論理学講義 上巻

価格 4400 円
発売日 2017-09-16
制作 日本評論社
作者 田中一之
商品画像

No.6
チューリングと超(メタ)パズル 解ける問題と解けない問題

価格 2750 円
発売日 2013-11-25
制作 東京大学出版会
作者 田中一之
商品画像

No.7
ゲーデルに挑む 証明不可能なことの証明

価格 2860 円
発売日 2012-04-28
制作 東京大学出版会
作者 田中一之
商品画像

No.8
ゲーデルの定理 利用と誤用の不完全ガイド

価格 3850 円
発売日 2011-03-20
制作 みすず書房
作者 田中一之

商品画像

No.9
ゲーデルと20世紀の論理学(ロジック) 4

価格 4180 円
発売日 2007-07-31
制作 東京大学出版会
作者 田中一之
商品画像

No.10
ゲーデルと20世紀の論理学(ロジック) 3

価格 4180 円
発売日 2007-03-31
制作 東京大学出版会
作者 田中一之
商品画像

No.11
ゲーデルと20世紀の論理学(ロジック) 2

価格 4180 円
発売日 2006-10-31
制作 東京大学出版会
作者 田中一之
商品画像

No.12
ゲーデルと20世紀の論理学(ロジック) 1

価格 4180 円
発売日 2006-07-31
制作 東京大学出版会
作者 田中一之

商品画像

No.13
数学のロジックと集合論

価格 3300 円
発売日 2003-12-31
制作 培風館
作者 田中一之
商品画像

No.14
数の体系と超準モデル

価格 4620 円
発売日 2002-04-30
制作 裳華房
作者 田中一之