Exponentiation and second-order bounded arithmetic
- 31 August 1990
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 48 (3) , 261-276
- https://doi.org/10.1016/0168-0072(90)90023-u
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Bounded arithmetic and truth definitionAnnals of Pure and Applied Logic, 1988
- On the scheme of induction for bounded arithmetic formulasAnnals of Pure and Applied Logic, 1987