検索条件入力検索結果一覧:(本学所蔵) > いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門
書誌詳細
  

NCIDBN03492257
タイトルいかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著||イカニシテ スイリ スルカ イカニシテ ショウメイ スルカ : ロンリ パズル ニ ヨル キゴウ ロンリガク ニュウモン
出版者京都 : ミネルヴァ書房 , 1981.2
形態5,181p ; 21cm
別書名いかにして推理証明するか
分類NDC8:410.96
NDLC:MA41
件名NDLSH:記号論理学
著者情報内井, 惣七 (1943-) (ウチイ, ソウシチ)
和洋区分
標題言語日本語
本文言語日本語
出版国日本
ISBN4623013405
番号NBN : JP81019440
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(閲覧室)410.9:U811847514 利用可  
0図書館(閲覧室)410.9:U020023559 利用可  
0図書館(閲覧室)410.9:U020028802 利用可  
0理数学410.9:U978171100 研究室  

選択行を: