"Mathematical Logic and Applications" - читать интересную книгу автора (Japan) Logic Meeting (1987 Kyoto, T. A. Slaman, J. Shinoda, T. Tugue, T. Tugue)