Mathematical logic and its applications : - Shinoda, J. (Juichi), 1948-; Slaman, T. A. (Theodore Allen), 1954-; Tugue, T. (Tosiyuki), 1926- (Lecture notes in mathematics (Springer-Verlag), 1989)