"Teoria del calcolabile", detta anche "teoria della ricorsione" poiche' il calcolo in generale e' definito come operazione ricorsiva.
Ricorsione matematica. Definizione ricorsiva. Struttura ricorsiva. Induzione matematica.