A note on bounded arithmetic
Volume 136 / 1990
Fundamenta Mathematicae 136 (1990), 85-89
DOI: 10.4064/fm-136-2-85-89