>> Amazon.co.jp

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

責任表示:
内井惣七著
言語:
日本語
出版情報:
京都 : ミネルヴァ書房, 1981.2
形態:
5,181p ; 21cm
著者名:
内井, 惣七(1943-) <DA00434022>  
ISBN:
9784623013401 [4623013405]
書誌ID:
BN03492257
フォーマット:
図書
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

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

マグロウヒル出版

前原, 昭二(1927-1992)

日本評論社

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

丸善

末木, 剛博(1921-)

東京大学出版会

3 図書 記号論理学

斎藤, 晢郎

理想社

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会

4 図書 記号論理学

清水, 義夫(1939- )

東京大学出版会

井関, 清志(1919-)

槙書店

Davis, Martin, 1928-, 岩山, 知三郎

コンピュータ・エージ社

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, 伊藤, 誠

大阪教育図書

12 図書 記号論

吉田, 夏彦(1928-)

筑摩書房