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