Constructions of modern computability theory Presentation uri icon