Title: Systems of bounded arithmetic from descriptive complexity
First published: 2005