Stav dette: Fundamentals of symbolic logic/