slutande en föreläsningskurs i logik ).