資料詳細

検索条件

  • 著者
    長尾勝馬
ハイライト
  • 1 件中、 1 件目

論理学の基礎と演習 利用可

ジョン・バーワイズ／著 -- 慶應義塾大学出版会 -- 2006.9 -- 116

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ３階人文 Map 10 /116/ﾊﾜ/901959 1109019590 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 論理学の基礎と演習
著者 ジョン・バーワイズ ／著, ジョン・エチメンディ ／著, 大沢 秀介 ／訳, 白旗 優 ／訳, 中川 大 ／訳, 中戸川 孝治 ／訳, 橋本 康二 ／訳  
出版地 東京
出版者 慶應義塾大学出版会
出版年 2006.9
ページ数 13,748p
大きさ 23cm
付属資料 CD-ROM(1枚 12cm)
翻訳原書名注記 原タイトル:Language,proof and logic 原著改訂版の翻訳
一般件名 論理学
内容紹介 スタンフォード大学CSLIで執筆された論理学テキストの名著。初歩の命題論理から限量子、ゲーデルの不完全性定理に至るまでを丁寧に解説する。付属CD-ROM収録のソフトを使った練習問題も豊富に収録。
ISBN 4-7664-1313-X 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 116

ページの先頭へ