検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Two applications of logic to mathematics / by Gaisi Takeuti T2 Publications of the Mathematical Society of Japan A1 *竹内, 外史(1926-) YR 1978 FD 1978 VO ja SP viii, 137 p. K1 Logic, Symbolic and mathematical K1 Algebra, Boolean PB Iwanami Shoten PB Princeton University Press PP [Tokyo] PP [Princeton, N.J.] SN 069108212X LA English (英語) CL LCC:QA9 CL DC:511/.3 NO Bibliography: p. [136]-137 NO Includes index NO 書誌ID=1000014280; NCID=BA04211588; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000014280 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA04211588; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=069108212X OL 30