Arithmetic, proof theory, and computational complexity
Peter Clote
Computational molecular biology
Feasible mathematics II
