Mechanisms and search : aspects of proof theory Sieg 1992 Department of Philosophy technical report