Bounded Arithmetic, volume 3 (1986)

by Samuel R Buss
Venue:of Studies in Proof Theory. Bibliopolis