Stav dette: Introduction to symbolic logic /