証明論入門

所蔵情報QRコード

資料種別:

図書

出版情報:

東京 : 共立出版, 1988.2

形態:

2, 2, 191p ; 22cm

著者名:

ISBN:

9784320014060 [4320014065]

書誌ID:

BN01958614

子書誌情報

フルテキスト

所蔵情報

他の版・巻

証明論入門. 復刊
竹内外史, 八杉満利子共著 , 共立出版 , 2010.6

書誌詳細

東工大ブックレビュー

1 図書証明論入門竹内, 外史(1926-), 八杉, 満利子(1937-) 共立出版	7 図書証明論と計算量竹内, 外史(1926-) 裳華房
2 図書数学基礎論竹内, 外史(1926-), 八杉, 満利子(1937-) 共立出版	8 図書数学基礎論の世界 : ロジックの雑記帳から竹内, 外史(1926-) 日本評論社
3 図書数学基礎論講義竹内, 外史(1926-), 八杉, 満利子(1937-) [東京大学数学教室]	9 図書現代集合論入門竹内, 外史(1926-) 日本評論社
4 図書お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? 八杉, 満利子(1937-), 林, 晋(1953-) 講談社	10 図書現代集合論入門竹内, 外史(1926-) 日本評論社
5 図書情報系の数学入門林, 晋(1953-), 八杉, 満利子(1937-) オーム社	11 図書数学基礎論前原, 昭二(1927-1992), 竹内, 外史(1926-) 放送大学教育振興会
6 図書不完全性定理 Gödel, Kurt, 1906-1978, 林, 晋(1953-), 八杉, 満利子(1937-) 岩波書店	12 図書公理と証明 : 証明論への招待弥永, 昌吉(1906-2006), 赤, 攝也(1926-) 筑摩書房

1

2

3

4

5

6

7

8

9

10

11

12