First-order proof theory of arithmetic (1998)

by S R Buss
Venue:In Handbook of proof theory