検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 数学的論理学 / クリーネ著 ; 小沢健一訳 OT Mathematical logic A1 Kleene, Stephen Cole, 1909- A1 竹内, 誠吉 A1 小沢, 健一(1942-) YR 1971 FD 1971-1973 VO 上 VO 下 SP 2冊 K1 記号論理学 K1 数理哲学 PB 明治図書出版 PP 東京 LA Japanese (日本語) CL NDC6:116.3 CL NDLC:H35 NO 下巻の訳者: 竹内誠吉, 小沢健一 NO 参考文献: 下p241-256 NO 書誌ID=B000088582; NCID=BN02604956; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000088582 OL 58