検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematical logic for computer science / M. Ben-Ari T2 Prentice-Hall International series in computer science A1 Ben-Ari, M., 1948- YR 1993 FD 1993 VO : pbk SP xi, 305 p. K1 Logic, Symbolic and mathematical PB Prentice Hall PP New York SN 013564139X LA English (英語) CL LCC:QA9 CL DC20:511.3 NO Includes bibliographical references (p. 274-277) and index NO 書誌ID=1000468008; NCID=BA19429021; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000468008 OL 30