An introduction to recursive model theory Presentation uri icon