Stav dette: Logic for mathematicians