Algebra and Logic
Article in Press
Kahle,R;Oitavem,I;Santos,PG
JOURNAL OF LOGIC AND COMPUTATION
2023
10.1093/logcom/exad075
Numeral completeness of weak theories of arithmetic
NOVA Math > NOVA Math > NOVA Math Publications > Numeral completeness of weak theories of arithmetic