Counting problems in bounded arithmetic (0)

by Jeff B Paris, Alex J Wilkie
Venue:In Methods in Mathematical Logic, number 1130 in Lecture Notes in Mathematics