https://9dok.net/document/yevxdj64-computability-theory-monograph.html