Bounded arithmetic (1986)

by Samuel R Buss