Mechanism, mentalism, and metamathematics : an essay on finitism / Judson Chambers Webb. - Webb, Judson Chambers (1936- ). (Synthese Library, 1980)