真理・証明・計算 : 論理と機械 | 宇都宮大学附属図書館蔵書検索（OPAC）

Blank Cover Image

真理・証明・計算 : 論理と機械

フォーマット:: 図書
責任表示:: 内井惣七著
言語:: 日本語
出版情報:: 京都 : ミネルヴァ書房, 1989.4
形態:: viii, 197p ; 21cm
著者名:: 内井, 惣七(1943-)
書誌ID:: BN03413567
ISBN:: 9784623018840 [4623018849]

子書誌情報

所蔵情報

Loading availability information

詳細

主題:	記号論理学
分類・件名:	NDC8 : 116 NDC8 : 410.96 NDLC : MA41 BSH : 論理学 NDLSH : 記号論理学
タイトルのヨミ、その他のヨミ:	シンリショウメイケイサン : ロンリトキカイ
著者名ヨミ:	ウチイ, ソウシチ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書推理と分析内井, 惣七(1943-) 放送大学教育振興会	7 図書ダ-ウィンの思想 : 人間と動物のあいだ内井, 惣七(1943-) 岩波書店
2 図書科学の倫理学内井, 惣七(1943-) 丸善	8 図書科学哲学入門 : 科学の方法・科学の目的内井, 惣七(1943-) 世界思想社
3 図書進化論と倫理内井, 惣七(1943-) 世界思想社	9 図書パズルとパラドックス内井, 惣七講談社
4 図書空間の謎・時間の謎 : 宇宙の始まりに迫る物理学と哲学内井, 惣七(1943-) 中央公論新社	10 図書確率の哲学的試論 Laplace, Pierre Simon, marquis de, 1749-1827, 内井, 惣七(1943-) 岩波書店
5 図書科学と哲学 : 論理・物理・心・言語内井, 惣七(1943-), 小林, 道夫(1945-) 昭和堂	11 図書コンピュータによる定理の証明 Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-) 日本コンピュータ協会
6 図書うそとパラドックス内井, 惣七(1943-) 講談社	12 図書論理と意味長尾, 真(1936-), 淵, 一博(1936-) 岩波書店