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

資料種別:
図書
責任表示:
佐野勝彦 [ほか] 著 ; 菊池誠編
言語:
日本語
出版情報:
東京 : 共立出版, 2016.3
形態:
x, 288p : 挿図 ; 22cm
著者名:
書誌ID:
BB20937821
ISBN:
9784320111486 [4320111486]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

佐野, 勝彦, 菊池, 誠(数学), 倉橋, 太志, 薄葉, 季路, 黒川, 英徳

共立出版

7 図書 証明の探究

日比, 孝之

大阪大学出版会

日比, 孝之, 門田, 英子

大阪大学出版会

秋山, 仁(1946-)

森北出版

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

産業図書

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

日本評論社

Gessen, Masha, 青木, 薫(1956-)

文藝春秋

永井, 成男(1921-), 大窪, 徳行

早稲田大学出版部

Worrall, John D., Zahar, Elie, 佐々木, 力(1947-), Lakatos, Imre, 1927-1974

共立出版