Klassische und nichtklassische Aussagenlogik. - Rautenberg, Wolfgang (Logik und Grundlagen der Mathematik, 1979)