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

証明論入門 / 竹内外史, 八杉満利子共著

版:
復刊
資料種別:
図書
出版情報:
東京 : 共立出版, 2010.6
形態:
2, 2, 191p ; 22cm
著者名:
ISBN:
9784320019355 [4320019350]
書誌ID:
BB02541217
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻
証明論入門
竹内外史, 八杉満利子共著 , 共立出版 , 1988.2

類似資料:

1 図書 証明論入門

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
7 図書 証明論と計算量

竹内, 外史(1926-)

裳華房
2 図書 数学基礎論講義

竹内, 外史(1926-), 八杉, 満利子(1937-)

[東京大学数学教室]
8 図書 現代集合論入門

竹内, 外史(1926-)

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

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版
9 図書 現代集合論入門

竹内, 外史(1926-)

日本評論社
4 図書 情報系の数学入門

林, 晋(1953-), 八杉, 満利子(1937-)

オーム社
10 図書 線型論理入門

竹内, 外史(1926-)

日本評論社
5 図書 お話・数学基礎論 : 数学では必ず正しい結論に到達できるか?

八杉, 満利子(1937-), 林, 晋(1953-)

講談社
11 図書 ビーグル号航海記

Darwin, Charles, 1809-1882, 八杉, 竜一(1911-1997), 竹内, 佑利子

あかね書房
6 図書 不完全性定理

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

岩波書店
12 図書 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

小島, 寛之(1958-)

技術評論社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12