Mechanism, mentalism, and metamathematics: an essay on finitism - Webb, Judson Chambers (Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 137, 1980)