Number of the records: 1
The provably total search problems of bounded arithmetic
- 1.SKELLEY, A., THAPEN, N. The provably total search problems of bounded arithmetic. Proceedings of the London Mathematical Society. 2011, 103(1), 106-138. ISSN 0024-6115. E-ISSN 1460-244X. Available: doi: 10.1112/plms/pdq044.
Number of the records: 1