Complexity in Predicative Arithmetic.

Geoffrey E. Ostrin, Stanley S. Wainer

Browse the full CiE paper archive.