Bounded Arithmetic (1986)

by Samuel R. Buss