Your next course will be:

Recursion of Model Theory

made by Malvin Gattinger