Stav dette: Introduction to Symbolic Logic /