Stav dette: Logic and Proof Techniques /