1.

図書
図書
1. 現代論理学入門 : 情報から論理へ. オンデマンド版
本橋信義著
出版情報: 東京 : 岩波書店, 2016.1
シリーズ名: 岩波オンデマンドブックス
所蔵情報: loading…
2.

図書
図書
2. ゲーデルを語る : 1983年7月10日-12日ザルツブルクにて
R.ゲーデル [ほか] 著 ; P.ワインガルトナー, L.シュメッテラー編 ; 前原昭二, 本橋信義訳
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1992.12
所蔵情報: loading…
3.

図書
図書
3. 情報時代の論理 : 新しい論理学への誘い
本橋信義著
出版情報: 東京 : 日本評論社, 1992.5
所蔵情報: loading…
4.

図書
図書
4. 現代論理学入門 : 情報から論理へ
本橋信義著
出版情報: 東京 : 岩波書店, 1989.4
所蔵情報: loading…
5.

図書
図書
5. 新しい論理序説
本橋信義著
出版情報: 東京 : 朝倉書店, 1997.4
シリーズ名: すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16
所蔵情報: loading…
6.

図書
図書
6. 歴史の中の数学
Ch.J.スクリーバ [ほか] 著 ; 本橋信義, 安藤洋美訳
出版情報: 東京 : 平凡社, 1987.9
シリーズ名: 叢書・ヒストリー・オヴ・アイディアズ ; 20
所蔵情報: loading…
7.

図書
図書
7. 数学と新しい論理 : 数学的帰納法をめぐって
本橋信義著
出版情報: 東京 : 遊星社 , 東京 : 星雲社(発売), 2002.3
所蔵情報: loading…
8.

図書
図書
8. 今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems
本橋信義著 ; 講談社サイエンティフィク編集
出版情報: 東京 : 講談社, 2012.3
所蔵情報: loading…
9.

図書
図書
9. 今度こそわかる論理 : 数理論理学はなぜわかりにくいのか
本橋信義著
出版情報: 東京 : 講談社, 2014.9
シリーズ名: 今度こそわかるシリーズ
所蔵情報: loading…