Blank Cover Image

タイトルと所在が表示されます

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

資料種別:
図書
責任表示:
内井惣七著
言語:
日本語
出版情報:
京都 : ミネルヴァ書房, 1989.4
形態:
viii, 197p ; 21cm
著者名:
内井, 惣七(1943-) <DA00434022>  
書誌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
 

内井, 惣七(1943-)

世界思想社

神野, 慧一郎(1932-), 内井, 惣七(1943-)

ミネルヴァ書房

内井, 惣七(1943-)

講談社

内井, 惣七(1943-)

ミネルヴァ書房

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

岩波書店

内井, 惣七(1943-)

世界思想社

田中, 尚夫(1928-)

裳華房

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

昭和堂

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

日本コンピュータ協会

内井, 惣七(1943-)

岩波書店

Carnap, Rudolf, 1891-1970, 永井, 成男(1921-), 内田, 種臣(1943-), 内井, 惣七(1943-)

紀伊國屋書店