Stav dette: Introduction to Symbolic Logic/