TY - BOOK AU - Mathematical Sciences Institute Workshop, Ithaca, 1989 AU - Buss, Samuel R., ed. AU - Scott, Philip J., ed. TI - Feasible mathematics - workshop T2 - Progress in Computer Science and Applied Logic SN - 3764334835 U1 - 510 PY - 1990/// CY - Boston PB - Birkhauser ER -