ロンリガク ノ キソ ト エンシュウ
データ種別 | 図書 |
---|---|
出版者 | 東京 : 慶應義塾大学出版会 |
出版年 | 2006.9 |
本文言語 | 日本語 |
大きさ | xiii, 748p : 挿図 ; 23cm + CD-ROM1枚 |
別書名 | 原タイトル:Language, proof and logic |
---|---|
一般注記 | その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二 原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ 原著改訂版(CSLI publications 2003年刊)の翻訳 付属資料: CD-ROM(1枚 12cm) |
著者標目 | Barwise, Jon <オオサワ, ヒデスケ> Etchemendy, John, 1952- <シラハタ, マサル> 大沢, 秀介(1950-) <ナカガワ, ハジメ> 白旗, 優(1961-) <ナカトガワ, コウジ> 中川, 大(1961-) <ハシモト, コウジ> 中戸川, 孝治(1951-) 橋本, 康二(1962-) Allwein, Gerard, 1956- Barker-Plummer, Dave Liu, Albert |
件 名 | BSH:論理学 |
分 類 | NDC8:116 NDC9:116 |
書誌ID | 1000094265 |
ISBN | 476641313X |