書誌詳細
  

NCIDBN01308630
タイトル論理学の形式化 / ルドルフ・カルナップ著 ; 竹尾治一郎訳||ロンリガク ノ ケイシキカ
出版者東京 : 紀伊国屋書店 , 1976.8
形態250p ; 22cm
別書名Formalization of logic
注記参考文献:巻末
分類NDC8:116.3
件名NDLSH:論理学
NDLSH:意味論
著者情報Carnap, Rudolf, 1891-1970
竹尾, 治一郎 (1926-) (タケオ, ジイチロウ)
和洋区分
標題言語日本語
本文言語日本語
原作言語英語
出版国日本
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(書庫)116.3:cC830220200 利用可  

選択行を: