検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith T2 Lecture notes in pure and applied mathematics A1 Kueker, D. W., 1943- A1 Lopez-Escobar, E. G. K. (Edgar G. K.), 1937- A1 Smith, Carl, 1950- A1 University of Maryland, College Park. Dept. of Mathematics YR 1987 FD c1987 SP xviii, 383 p. K1 Logic, Symbolic and mathematical K1 Electronic data processing K1 Algebra PB M. Dekker PP New York SN 0824777468 LA English (英語) CL LCC:QA9.2 CL DC19:511.3 NO "Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref. NO Includes index NO 書誌ID=1000013045; NCID=BA00441633; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000013045 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA00441633; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0824777468 OL 30