愛知大学図書館

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

内井惣七著. -- ミネルヴァ書房, 1981. <BB00594460>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配架場所 請求記号 資料ID 注記 状態 返却予定日 予約
0001 豊橋図書館 豊図第2書庫2階 410.96:U16 8711025579
0件
No. 0001
巻号
所蔵館 豊橋図書館
配架場所 豊図第2書庫2階
請求記号 410.96:U16
資料ID 8711025579
注記
状態
返却予定日
予約 0件

書誌詳細

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