Primitive recursive arithmetic with recursion of notation and boundednessMartin John Dowd · First published 1976Open the Tome
