Einführung in die klassische und intensionale Logik