Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor, P. Odifreddi.
もっともっと探す
+もっと詳しい情報
出版社: Springer-Verlag(c1990.)
ISBN-10: 3540527346 ISBN-13: 9783540527343