Your next course will be:

Model Theory, Logic and Recursive Planning

made by Malvin Gattinger