Stav dette: First course in mathematical logic