Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 (Progress in Computer Science and Applied Logic, 9, Band 9)