Bounded arithmetic (1986)

by S R Buss
Venue:of Studies in Proof Theory. Lecture Notes, Bibliopolis