詳細情報

刊年

2006

形態

xiii, 748p : 挿図 ; 23cm + CD-ROM1枚

別書名

Language, proof and logic

注記

その他の訳者: 白旗優, 中川大, 中戸川孝治, 橋本康二

原著共同作業者: ゲリー・アルウィン, デイブ・バーカー=プラマー, アルバート・リュウ

原著改訂版(CSLI publications 2003年刊)の翻訳

付属資料: CD-ROM(1枚 12cm)

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

原作言語

英語 (eng)

著者情報

Barwise, Jon [ Barwise, John ] [ Barwise, K. Jon, 1942- ] [ Barwise, J. (Jon) ] [ バーワイズ, ジョン (バーワイズ, ジョン) ]

Etchemendy, John, 1952- [ エチェメンディ, ジョン (エチェメンディ, ジョン) ] [ エチメンディ, ジョン ]

大沢, 秀介(1950-) (オオサワ, ヒデスケ)

白旗, 優(1961-) (シラハタ, マサル)

中川, 大(1961-) (ナカガワ, ハジメ)

中戸川, 孝治(1951-) (ナカトガワ, コウジ)

橋本, 康二(1962-) (ハシモト, コウジ)

Allwein, Gerard, 1956-

Barker-Plummer, Dave [ Plummer, Dave Barker- ]

Liu, Albert

分類

NDC8:116

NDC9:116

件名

論理学

ISBN

476641313X

NCID

BA78611017

番号

TRC : 06048414