Calculabilité

[nemesis]

bonjour
je voudrais montrer que MAXn = lambda X1,X2,......Xn . maximum (X1,X2,.........Xn) est une fonction Primitive Récursive en sachant que
MAX2 =lambda X1,X2......Xn . maximum (X1,X2) est PR.
meme chose pour la fonction signe definie comme suit:
Sg=lambda x . (sg=1 si x= 0 ;sg=0 si x<>0)
et si on pouvait m'indiquer un site ou je trouverai des exemple ou des cours ou des td de calculabilite merci d'avance .