検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Handbook of mathematical logic / edited by Jon Barwise : with the cooperation of H.J. Keisler ... [et al.] T2 Studies in logic and the foundations of mathematics A1 Barwise, Jon A1 Keisler, H. Jerome, 1936- YR 1977 FD 1977 VO : pbk SP xi, 1165 p. K1 Logic, Symbolic and mathematical PB New York : North-Holland Pub. Co. PP Amsterdam SN 072042285X SN 0444863885 LA English (英語) CL LCC:QA9 CL DC:511/.3 NO Includes bibliographical references and indexes NO 書誌ID=B000042235; NCID=BA01039344; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000042235 OL 30