Your next course will be:

Programming, Model Theory and First-Order Meaning

made by Malvin Gattinger