Things that can and things that cannot be done in PRA
Under an Elsevier user license
open archive
MSC
03F35
03F10
03D20
68Q15
Keywords
Primitive recursive arithmetic
Ackerman function
Fragments of analysis
Fragments of arithmetic
Cited by (0)
- 1
Basic Research in Computer Science, Centre of the Danish National Research Foundation.
Copyright © 1999 Elsevier Science B.V. All rights reserved.