Informateci

1) Proprietà dell'insieme { x < f(42) | φ_x(f(42)) = φ_f(42)(x) } con f calcolabile totale.
2) Enunciato e dimostrazione del teorema di ricorsione.
3) Dimostrare che LOGSPACE è chiuso per composizione.