検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 数理論理学入門 / 入江盛一著 A1 入江, 盛一(1911-) YR 1973 FD 1973 SP 166p K1 数学基礎論 K1 記号論理学 PB 培風館 PP 東京 LA Japanese (日本語) CL NDC6:410.1 CL NDLC:MA41 NO 書誌ID=1000071548; NCID=BN01374497; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000071548 OL 58