TY - BOOK AU - Buss, Samuel R AU - Scott, Philip J TI - Feasible Mathematics T2 - Progress in Computer Science and Applied Logic U1 - R 510 BUS-F PY - 1993/// CY - Birkhauser, Boston KW - Mathematics ER -