Hagen Huwig

• Beziehungen zwischen beschränkter syntaktischer und beschränkter primitiver Rekursion