>> Amazon.co.jp
このページのQRコード

証明論入門

種類:
図書
責任表示:
竹内外史, 八杉満利子共著
出版情報:
東京 : 共立出版, 1988.2
著者名:
ISBN:
9784320014060 [4320014065]  CiNii Books  Calil
注記:
「数学基礎論」増補版(1974年刊)の改題改訂
文献:p[186]〜187
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 証明論入門 : 数学基礎論改題

竹内外史,八杉満利子

共立出版
7 図書 数学基礎論入門

前原, 昭二(1927-1992)

朝倉書店
2 図書 数学基礎論の世界 : ロジックの雑記帳から

竹内, 外史(1926-)

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

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

岩波書店
3 図書 証明論と計算量

竹内, 外史(1926-)

裳華房
9 図書 計算論入門 : 計算の基本原理理解のために

渡辺, 治(1958-), 米崎, 直樹(1950-)

日本評論社
4 図書 数学基礎論

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

筑摩書房
10 図書 計算可能性入門

小林, 孝次郎(1939-)

近代科学社
5 図書 現代集合論入門

竹内, 外史(1926-)

日本評論社
11 図書 線形代数学入門

奥川, 光太郎(1913-)

朝倉書店
6 図書 数学基礎論入門

Goodstein, R. L. (Reuben Louis), 赤, 攝也(1926-)

培風館
12 図書 数理論理学入門

入江, 盛一(1911-)

培風館