Einf?hrung in die angewandte Logik