検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Proof theory / Gaisi Takeuti T2 Studies in logic and the foundations of mathematics A1 竹内, 外史(1926-) A1 Symposium on Intuitionism and Proof Theory YR 1987 FD 1987 VO : U.S VO U.S SP x, 490 p. K1 Proof theory ED 2nd ed PB North-Holland PP Amsterdam SN 0444879439 LA English (英語) CL LCC:QA9.54 CL DC19:511.3 NO Based on a series of lectures given at theSymposium on Intuitionism and Proof Theory held at Buffalo, 1968 NO Includes index NO 書誌ID=B000062484; NCID=BA00434660; LK [OPAC]https://opac.lib.juen.ac.jp/opac/opac_link/bibid/B000062484 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA00434660; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0444879439 OL 30