"Mathematical logic in Asia: Proceedings of the 9th Asian Logic Conference" - читать интересную книгу автора (R. Downey, S S Goncharov, H Ono)