Title: Logische Untersuchungen über mechanische Beweisverfahren