検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Introduction to metamathematics / by Stephen Cole Kleene T2 Bibliotheca mathematica A1 Kleene, Stephen Cole, 1909- YR 1971 FD 1952, c1971 VO North-Holland VO American Elsevier SP x, 550 p. PB Wolters-Noordhoff PB North-Holland PP Groningen PP Amsterdam SN 0720421039 SN 0444100881 LA English (英語) NO Includes bibliographical references and index NO Distributors for the U.S.A. and Canada: NewYork : Elsevier North-Holland Inc. NO 書誌ID=1000194843; NCID=BA11227566; LK [OPAC]https://opac.nijl.ac.jp/opac/opac_link/bibid/1000194843 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA11227566; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0720421039 OL 30