検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor T2 Contemporary mathematics A1 Sieg, Wilfried, 1945- A1 Workshop on Logic and Computation YR 1990 FD c1990 SP xiv, 297 p. K1 Computable functions -- Data processing -- Congresses PB American Mathematical Society PP Providence, R.I. SN 0821851101 LA English (英語) CL LCC:QA9.59 CL DC20:511.3 CL NDC8:410.96 NO "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso NO 書誌ID=1000372232; NCID=BA10191463; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000372232 OL 30