Text this: Einfuhrung in die symbolische Logik, mit besonderer Berucksichtigung ihrer Anwendungen.