Turing computability in theories and structures Presentation uri icon