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. - Homer, S. (Steven); Odifreddi, Piergiorgio, 1950- (Lecture notes in mathematics (Springer-Verlag), 1990)