Your next course will be:

Logic, Reference and Formal Model Theory

made by Malvin Gattinger