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