検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas T2 Undergraduate texts in mathematics OT Einführung in die mathematisch Logik A1 Ebbinghaus, Heinz-Dieter, 1939- A1 Flum, Jörg A1 Thomas, Wolfgang YR 1994 FD c1994 VO : us VO : gw SP x, 289 p. K1 Logic, Symbolic and mathematical ED 2nd ed PB Tokyo : Springer-Verlag PP New York SN 0387942580 SN 3540942580 LA English (英語) CL LCC:QA9 CL DC19:511.3 CL NDC7:410.12 CL NDLC:MA41 NO Translation of: Einführung in die mathematisch Logik NO Includes bibliographical references and indexes NO 書誌ID=B000054792; NCID=BA23050624; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000054792 OL 30