Logische Untersuchungen über mechanische Beweisverfahren
Networked Digital Library of Theses and Dissertations