Computability theory ((G) Math 6720.F19) Course uri icon