Computability theory and applications to mathematical structures ((G) Math 272.F03) Course uri icon