Logik für Linguisten - Dahl, Oesten