いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
イカニシテ スイリ スルカ イカニシテ ショウメイ スルカ : ロンリ パズル ニ ヨル キゴウ ロンリガク ニュウモン
データ種別 | 図書 |
---|---|
出版者 | 京都 : ミネルヴァ書房 |
出版年 | 1981.2 |
本文言語 | 日本語 |
大きさ | v, 181p ; 21cm |
別書名 | 背表紙タイトル:いかにして推理証明するか |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 請求メモ | 予約 | 仮想書架 | 指定図書 |
---|---|---|---|---|---|---|---|---|---|---|
土:中央図書館閉架書庫 |
|
410.96/I31u | a3086037988a |
|
4623013405 |
|
書誌詳細を非表示
著者標目 | 内井, 惣七(1943-) <ウチイ, ソウシチ> |
---|---|
件 名 | NDLSH:記号論理学 |
分 類 | NDC8:410.96 NDLC:MA41 |
書誌ID | 1000480768 |
ISBN | 9784623013401 |
NCID | BN03492257 |