"Mathematical logic and applications. Proc.meeting, Kyoto, 1987" - читать интересную книгу автора (Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue)