ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
検索結果一覧:(本学所蔵)
> 論理学の形式化
書誌詳細
NCID
BN01308630
タイトル
論理学の形式化 / ルドルフ・カルナップ著 ; 竹尾治一郎訳||ロンリガク ノ ケイシキカ
出版者
東京 : 紀伊国屋書店 , 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:cC
830220200
利用可
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성