Bounded Arithmetic, Bibliopolis (1986)

by S R Buss
Venue:Revision of 1985 Princeton University Ph.D. thesis