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 東京 CL NDC6:116.3 CL NDLC:H35 NO 下巻の訳者: 竹内誠吉, 小沢健一 NO 参考文献: 下p241-256 NO 書誌ID=2000000617; NCID=BN02604956; LK [OPAC]https://opac.lib.yamanashi.ac.jp/opac/opac_link/bibid/2000000617 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN02604956 OL 58