reprinted Bibliopolis (1985)

by S Buss, “Bounded Arithmetic”, Dissertation