1.

図書
図書
1. 論理・確率とマルコフ連鎖
Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen[著] ; 栁沼壽訳
出版情報: 東京 : 丸善出版, 2015.10
シリーズ名: 初歩からの数学 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen[著] ; 栁沼壽訳 ; 3
所蔵情報: loading…
2.

図書
図書
2. 数理論理学. 復刊
松本和夫著
出版情報: 東京 : 共立出版, 2001.8
所蔵情報: loading…
3.

図書
図書
3. 数学のロジックと集合論
田中一之, 鈴木登志雄共著
出版情報: 東京 : 培風館, 2003.12
所蔵情報: loading…
4.

図書
図書
4. アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界
田代博司著
出版情報: 東京 : 北樹出版, 1995.4
所蔵情報: loading…
5.

図書
図書
5. コンピュータによる定理の証明
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
出版情報: 東京 : 日本コンピュータ協会, 1983.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
所蔵情報: loading…
6.

図書
図書
6. 記号論理学
ジャン・ショーヴィノー著 ; 芹沢正三訳
出版情報: 東京 : 白水社, 1959
シリーズ名: 文庫クセジュ ; 257
所蔵情報: loading…
7.

図書
図書
7. 論理と意味
長尾真, 淵一博 [著]
出版情報: 東京 : 岩波書店, 1983.1
シリーズ名: 岩波講座情報科学 ; 7
所蔵情報: loading…
8.

図書
図書
8. 記号論理学
清水義夫著
出版情報: 東京 : 東京大学出版会, 1984.11
所蔵情報: loading…
9.

図書
図書
9. 論理哲学論考
L. ヴィトゲンシュタイン[著] ; 藤本隆志, 坂井秀寿訳
出版情報: 東京 : 法政大学出版局, 1968.7
シリーズ名: 叢書・ウニベルシタス ; 6
所蔵情報: loading…
目次情報:
ヴィトゲンシュタイン小伝 坂井秀寿著
論理哲学論考(一九二一年) [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
ヴィトゲンシュタイン小伝 坂井秀寿著
論理哲学論考(一九二一年) [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
10.

図書
図書
10. 記号論理学とその応用
石谷茂著
出版情報: 大阪 : 大阪教育図書, 1967.1
所蔵情報: loading…