Revision history for entry Cook, Stephen: Jan Krajíček, Pavel Pudlák, and Gaisi Takeuti. Bounded arithmet.. [COOJKP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-10T13:16:27updateSystem / admin update
2019-05-10T13:16:20updateSystem / admin update
2019-05-10T14:29:24updateSystem / admin update
2019-05-10T13:33:20addSystem / admin update