愛知工業大学附属図書館

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

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 書庫2層 410.96||U 001040468 書架 0件
No. 0001
巻号
所蔵館 図書館
配置場所 書庫2層
請求記号 410.96||U
資料ID 001040468
状態 書架
返却予定日
予約 0件

書誌詳細

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