Feasible Mathematics Proceedings of an Msi Workshop Held in Ithaca New York

Feasible Mathematics includes both the study of feasible computation from a mathematical and logical point of view and the reworking of traditional mathematics from the point of view of feasible computation.