図書館トップページはこちら

神戸学院大学図書館

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

内井惣七著. -- ミネルヴァ書房, 1981. <BB00230364>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません


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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 ポーアイ館 3階西 410.96/UCH/I 109149198 0件
0002 有瀬館 本館5階第2室 410.96/UCH/I 110185741 0件
No. 0001
巻号
所蔵館 ポーアイ館
配置場所 3階西
請求記号 410.96/UCH/I
資料ID 109149198
禁帯出区分 8
状態
返却予定日
予約 0件
No. 0002
巻号
所蔵館 有瀬館
配置場所 本館5階第2室
請求記号 410.96/UCH/I
資料ID 110185741
禁帯出区分 1
状態
返却予定日
予約 0件

書誌詳細

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