Počet záznamů: 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. Dostupné z: https://doi.org/10.1112/plms/pdq044.
Počet záznamů: 1