検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 論理学の基礎と演習 / ジョン・バーワイズ, ジョン・エチメンディ著 ; 大沢秀介 [ほか] 訳 OT Language, proof and logic A1 Barwise, Jon A1 Etchemendy, John, 1952- A1 大沢, 秀介(1950-) A1 白旗, 優(1961-) A1 中川, 大(1961-) A1 中戸川, 孝治(1951-) A1 橋本, 康二(1962-) A1 Allwein, Gerard, 1956- A1 Barker-Plummer, Dave A1 Liu, Albert YR 2006 FD 2006.9 SP xiii, 748p K1 論理学 PB 慶應義塾大学出版会 PP 東京 SN 476641313X LA Japanese (日本語) CL NDC8:116 CL NDC9:116 NO その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二 NO 原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ NO 原著改訂版(CSLI publications 2003年刊)の翻訳 NO 付属資料: CD-ROM(1枚 12cm) NO 書誌ID=1001778449; NCID=BA78611017; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001778449 OL 58