Blank Cover Image

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 推理と分析

内井, 惣七(1943-)

放送大学教育振興会

内井, 惣七(1943-)

岩波書店

内井, 惣七(1943-)

丸善

内井, 惣七(1943-)

世界思想社

内井, 惣七(1943-)

世界思想社

内井, 惣七

講談社

内井, 惣七(1943-)

中央公論新社

Laplace, Pierre Simon, marquis de, 1749-1827, 内井, 惣七(1943-)

岩波書店

内井, 惣七(1943-), 小林, 道夫(1945-)

昭和堂

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

日本コンピュータ協会

内井, 惣七(1943-)

講談社

12 図書 論理と意味

長尾, 真(1936-), 淵, 一博(1936-)

岩波書店