検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computability and logic A1 Boolos, George A1 Burgess, John P., 1948- A1 Jeffrey, Richard C. YR 2002 FD 2002 VO : pbk SP xi, 356 p. K1 Computable functions K1 Recursive functions K1 Logic, Symbolic and mathematical ED 4th ed PB Cambridge University Press PP Cambridge SN 0521007585 LA English (英語) CL LCC:QA9.59 CL DC21:511.3 NO Includes bibliographical references (p. 348) and index NO "First published 2002. Reprinted with corrections 2003" -- T.p. verso NO 書誌ID=BB10154499; NCID=BA57119233; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB10154499 DS 同志社大学OPAC OL 30