関西外国語大学図書館学術情報センター

いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門

内井惣七著. -- ミネルヴァ書房, 1981. <BB40180312>
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 資料形態 禁帯出区分 状態 返却予定日 予約 仮想本棚
0001 御殿山 書庫_一般書(和)P 410.12/U16 1001947479 図書 貸出可 0件
No. 0001
巻号
所蔵館 御殿山
配置場所 書庫_一般書(和)P
請求記号 410.12/U16
資料ID 1001947479
資料形態 図書
禁帯出区分 貸出可
状態
返却予定日
予約 0件
仮想本棚

書誌詳細

標題および責任表示 いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
イカニシテ スイリ スルカ イカニシテ ショウメイ スルカ : ロンリ パズル ニ ヨル キゴウ ロンリガク ニュウモン
出版・頒布事項 京都 : ミネルヴァ書房 , 1981.2
形態事項 v, 181p ; 21cm
巻号情報
ISBN 9784623013401
その他の標題 背表紙タイトル:いかにして推理証明するか
イカニシテ スイリ ショウメイ スルカ
学情ID BN03492257
本文言語コード 日本語
著者標目リンク 内井, 惣七(1943-)||ウチイ, ソウシチ <AU10008609>
分類標目 数学 NDC8:410.96
分類標目 科学技術 NDLC:MA41
件名標目等 記号論理学||キゴウロンリガク