検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著 A1 内井, 惣七(1943-) YR 1981 FD 1981.2 SP 5,181p K1 記号論理学 PB ミネルヴァ書房 PP 京都 SN 4623013405 LA Japanese (日本語) CL NDC8:410.96 CL NDLC:MA41 NO 書誌ID=1000139454; NCID=BN03492257; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000139454 OL 58