77
Voted
APAL
2006
15 years 11 days ago
2006
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...