Counting problems in bounded arithmetic (1985)

by J Paris, A Wilkie
Venue:In Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic 1983, volume 1130 of Lecture notes in Mathematics