資料詳細

[ 和図書 ] タブローの方法による論理学入門

丹治信春／著 -- 朝倉書店 -- 1999.11 --

所蔵

所蔵は 1 件です。

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

ISBN	4-254-50012-2
タイトル	タブローの方法による論理学入門
タイトルカナ	タブローノホウホウニヨルロンリガクニュウモン
著者名	丹治信春／著
著者名典拠番号	110001317800000
出版地	東京
出版者	朝倉書店
出版者カナ	アサクラショテン
出版年	1999.11
ページ数	137p
大きさ	21cm
版及び書誌的来歴に関する注記	「論理学入門」(ちくま学芸文庫 2014年刊)に改題,大幅に改訂
価格	¥2500
内容紹介	記号論理学の基礎的な諸概念、基本的な考え方を習得しつつ、「タブロー」という方法による「証明」の技法を身につける。命題論理の記号言語、真理値分析とトートロジー、述語論理の記号言語などについて解説。
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名典拠番号	510630200000000
分類：都立NDC10版	410.96
資料情報1	『タブローの方法による論理学入門』　丹治信春／著　朝倉書店　1999.11（所蔵館：多摩　請求記号：/410.9/5004/1999　資料コード：5000114092）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1105031583