Computability in mathematical structures Presentation uri icon