Feasible mathematics: a mathematical sciences institute workshop Ithaca, New York, June 1989 - Buss, Samuel R; Ed (Progress in computer science and applied logic, 1990)