Email Record: Einfuhrung in die symbolische Logik mit besonderer Berucksichtigung ihrer Anwendungen.