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