>> Amazon.co.jp
このページのQRコード

いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門

種類:
図書
責任表示:
内井惣七著
出版情報:
京都 : ミネルヴァ書房, 1981.2
著者名:
内井, 惣七(1943-) <DA00434022>  
ISBN:
9784623013401 [4623013405]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 よくわかる記号論理

藤村, 龍雄(1936-)

勁草書房
7 図書 実践幸福学 : 科学はいかに「幸せ」を証明するか

友原, 章典

NHK出版
2 図書 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

小島, 寛之(1958-)

技術評論社
8 図書 記号論理学 : その展望と限界をさぐる

Jeffrey, Richard C., 戸田山, 和久(1958-)

マグロウヒル出版
3 図書 推理パズル

藤村, 幸三郎(1903-1983)

生活百科刊行会
9 図書 記号論理学

藤川, 吉美(1936-)

大竹出版
4 図書 数理論理学とタイプ理論 : 証明による真理へ

Andrews, P. B. (Peter Bruce), 1937-, 小川原, 倫子

丸善
10 図書 記号論理学

清水, 義夫(1939-)

東京大学出版会
5 図書 真理・証明・計算 : 論理と機械

内井惣七

ミネルヴァ書房
11 図書 記号論理学

芹沢, 正三(1920-), Chauvineau, Jean

白水社
6 図書 推理と論理 : シャーロック・ホームズとルイス・キャロル

内井, 惣七(1943-)

ミネルヴァ書房
12 図書 記号論理学

Novikov, P. S. (Petr Sergeevich), 石本, 新(1917-)

東京図書