"New Computational Paradigms Changing Conceptions of What is Computable" - читать интересную книгу автора (S.B. Cooper, Benedikt Löwe, Andrea Sorbi)