"Computability and complexity from a programming perspective" - читать интересную книгу автора (Neil D. Jones)