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

数学における証明と真理 : 様相論理と数学基礎論

フォーマット:
図書
責任表示:
佐野勝彦 [ほか] 著 ; 菊池誠編
言語:
日本語
出版情報:
東京 : 共立出版, 2016.3
形態:
x, 288p : 挿図 ; 22cm
著者名:
書誌ID:
BB20937821
ISBN:
9784320111486 [4320111486]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで

瀬山, 士郎(1946-)

講談社
7 図書 様相論理入門

Hughes, G. E. (George Edward), 1918-, Cresswell, M. J., 三浦, 聡

恒星社厚生閣
2 図書 数学の証明のしかた

秋山, 仁(1946-)

森北出版
8 図書 名指しと必然性 : 様相の形而上学と心身問題

Kripke, Saul A., 1940-, 野家, 啓一(1949-), 八木沢, 敬

産業図書
3 図書 なっとくする数学の証明

瀬山, 士郎(1946-)

講談社
9 図書 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

小島, 寛之 (1958-)

技術評論社
4 図書 発見へのプロセス : 大学数学の証明問題

阿原, 一志

東京図書
10 図書 その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方

Velleman, Daniel J., 神林, 靖(1958-)

翔泳社
5 図書 Q.E.D. : 知的でエレガントな数学的証明

Polster, Burkard, 駒田, 曜

創元社
11 図書 数学基礎論

前原, 昭二(1927-1992), 竹内, 外史(1926-)

筑摩書房
6 図書 証明の読み方・考え方 : 数学的思考過程への手引き

Solow, Daniel, 西村, 康一, 服部, 久美子 (数学)

共立出版
12 図書 数学基礎論

隈部, 正博(1962-)

放送大学教育振興会