"Mathematical Logic and Applications" - читать интересную книгу автора (Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue)