資料詳細

[ 和図書 ] 数理論理学 ( コンピュータサイエンス教科書シリーズ 18 )

古川康一／共著 -- コロナ社 -- 2008.6 --

所蔵

所蔵は 1 件です。

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ISBN	4-339-02718-1
ISBN13桁	978-4-339-02718-1
タイトル	数理論理学
タイトルカナ	スウリロンリガク
著者名	古川康一／共著, 向井国昭／共著
著者名典拠番号	110000872700000 , 110005294620000
出版地	東京
出版者	コロナ社
出版者カナ	コロナシャ
出版年	2008.6
ページ数	9, 221p
大きさ	21cm
シリーズ名	コンピュータサイエンス教科書シリーズ
シリーズ名のルビ等	コンピュータサイエンスキョウカショシリーズ
シリーズ番号	18
シリーズ番号読み	18
価格	¥2800
内容紹介	命題論理および述語論理を主として取り上げた、数理論理学の教科書。序論から、論理と表現、命題論理、ゲンツェンの自然演繹法、論理プログラム、帰納論理プログラミングまでを解説する。
書誌・年譜・年表	文献:p203〜204
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名典拠番号	510630200000000
分類：都立NDC10版	410.96
資料情報1	『数理論理学』（コンピュータサイエンス教科書シリーズ 18）　古川康一／共著, 向井国昭／共著　コロナ社　2008.6（所蔵館：中央　請求記号：/410.9/5049/2008　資料コード：5015348178）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107548263