Stav dette: A Concise Introduction to Logic