Einführung in die symbolische Logik, mit besonderer Berücksichtigung ihrer Anwendungen