Stav dette: Logic and discrete mathematics :