Stav dette: A course in mathematical logic