The search result is exported to RefWorks.Results 1 items.
Export
RT Book, Whole SR Print DC OPAC T1 論理学の形式化 / ルドルフ・カルナップ著 ; 竹尾治一郎訳 OT Formalization of logic A1 Carnap, Rudolf, 1891-1970 A1 竹尾, 治一郎(1926-) YR 1976 FD 1976.8 SP 250p K1 論理学 K1 意味論 PB 紀伊国屋書店 PP 東京 LA Japanese (日本語) CL NDC8:116.3 NO 参考文献:巻末 NO BIBID=2000000845; NCID=BN01308630; LK [OPAC]https://lib.asahikawa-med.ac.jp/opac/opac_link/bibid/2000000845 OL 58