Stav dette: Logic for mathematicians /